addbddcircuitin(3alc)

1ADDBDDCIRCUITIN(3)               BDD FUNCTIONS              ADDBDDCIRCUITIN(3)
2
3
4

NAME

6       addbddcircuitin - adds an input in a bdd circuit.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddnode ∗addbddcircuitin( BddCircuit, InputName, Index, Mode )
11         bddcircuit ∗BddCircuit;
12         char       ∗InputName;
13         bddindex    Index;
14         long        Mode;
15

PARAMETERS

17       BddCircuit          The bdd circuit.
18
19       InputName           The name of the input.
20
21       Index               The bdd index of the input.
22
23       Mode                The mode.
24

DESCRIPTION

26       addbddcircuitin  adds an input InputName in the bdd circuit BddCircuit.
27       If a null pointer is given, the default bdd circuit is  used.   If  the
28       input InputName exists already, its node pointer is returned.  The Mode
29       parameter specifies how to create the new variable  associated  to  the
30       name InputName. The Index parameter is used with the BDD_IN_MODE_BEFORE
31       and BDD_IN_MODE_AFTER mode.  The Mode parameter can takes the following
32       values  :
33
34       BDD_IN_MODE_FIRST   adds a variable before all others.
35
36       BDD_IN_MODE_LAST    adds a variable after all others.
37
38       BDD_IN_MODE_BEFORE  adds a variable before the one specified by Index.
39
40       BDD_IN_MODE_AFTER   adds a variable after the one specified by Index.
41
42       BDD_IN_MODE_IMPOSE  if  this  flag  is set, only the variables found in
43                           the BddCircuit are taken into account.  It  permits
44                           to  merge  variables from different circuit working
45                           on the same bdd system.
46

RETURN VALUE

48       addbddcircuitin returns a pointer to the new created node.
49

ERRORS

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

EXAMPLE

55       #include "bdd101.h"
56          bddsystem  ∗BddSystem;
57          bddcircuit ∗BddCircuit;
58          bddnode    ∗BddNode;
59          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
60          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
61          addbddcircuitin ( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
62          ...
63          BddNode = searchbddcircuitin( (bddcircuit ∗)0, "i0" );
64          destroybddsystem( (bddsystem ∗)0 );
65          destroybddcircuit( (bddcircuit ∗)0 );
66