GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  ADDBDDCIRCUITIN (3)

NAME

addbddcircuitin - adds an input in a bdd circuit.

[Include document man1/alc_origin.1]

CONTENTS

Synopsys
Parameters
Description
Return Value
Errors
Example
See Also

SYNOPSYS






#include "bdd101.h"
bddnode *addbddcircuitin( BddCircuit, InputName, Index, Mode )
  bddcircuit *BddCircuit;
  char       *InputName;
  bddindex    Index;
  long        Mode;


PARAMETERS

BddCircuit The bdd circuit.
InputName The name of the input.
Index The bdd index of the input.
Mode The mode.

DESCRIPTION

addbddcircuitin adds an input InputName in the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used. If the input InputName exists already, its node pointer is returned. The Mode parameter specifies how to create the new variable associated to the name InputName. The Index parameter is used with the BDD_IN_MODE_BEFORE and BDD_IN_MODE_AFTER mode. The Mode parameter can takes the following values :
BDD_IN_MODE_FIRST adds a variable before all others.
BDD_IN_MODE_LAST adds a variable after all others.
BDD_IN_MODE_BEFORE adds a variable before the one specified by Index.
BDD_IN_MODE_AFTER adds a variable after the one specified by Index.
BDD_IN_MODE_IMPOSE if this flag is set, only the variables found in the BddCircuit are taken into account. It permits to merge variables from different circuit working on the same bdd system.

RETURN VALUE

addbddcircuitin returns a pointer to the new created node.

ERRORS

"unknwon in mode xxx error !"
The Mode parameter must be defined.

EXAMPLE






#include "bdd101.h"
   bddsystem  *BddSystem;
   bddcircuit *BddCircuit;
   bddnode    *BddNode;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   addbddcircuitin ( (bddcircuit *)0, "i0", 0, BDD_IN_MODE_FIRST );
   ...
   BddNode = searchbddcircuitin( (bddcircuit *)0, "i0" );
   destroybddsystem( (bddsystem *)0 );
   destroybddcircuit( (bddcircuit *)0 );


SEE ALSO

bdd(1)

[Include document man1/alc_bug_report.1]

Search for    or go to Top of page |  Section 3 |  Main Index


ASIM/LIP6 ADDBDDCIRCUITIN (3) October 1, 1997

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.