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

NAME

6       createbddcircuit - creates a bdd circuit.
7

SYNOPSIS

9       #include "bdd101.h"
10         bddcircuit ∗createbddcircuit( Name, NumberIn, NumberOut, BddSystem )
11         char      ∗Name;
12         long       NumberIn;
13         long       NumberOut;
14         bddsystem ∗BddSystem;
15

PARAMETERS

17       Name                Name of the bdd circuit.
18
19       NumberIn            Number of inputs.
20
21       NumberOut           Number of outputs.
22
23       BddSystem           The bdd system to work on.
24

DESCRIPTION

26       createbddcircuit  creates  a  bdd circuit with the name Name, with Num‐
27       berIn inputs, and NumberOut outputs.  This bdd circuit will use the bdd
28       system  BddSystem.   If a null pointer is given, the default bdd system
29       is used.
30

RETURN VALUE

32       createbddcircuit returns a pointer to the bdd circuit created.
33

EXAMPLE

35       #include "bdd101.h"
36          bddsystem  ∗BddSystem;
37          bddcircuit ∗BddCircuit;
38          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
39          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
40          ...
41          destroybddsystem( (bddsystem ∗)0 );
42          destroybddcircuit( (bddcircuit ∗)0 );
43

SEE ALSO

45       bdd(1), resetbddcircuit(3), destroybddcircuit(3).
46
47
48
49
50
51
52ASIM/LIP6                       October 1, 1997            CREATEBDDCIRCUIT(3)
Impressum