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

NAME

6       createbddsystem - creates a bdd system.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddsystem ∗createbddsystem( ModelVar, ModelOper, MaxVar, MaxNode  )
11         long   ModelVar;
12         long   ModelOper;
13         long   MaxVar;
14         long   MaxNode;
15

PARAMETERS

17       ModelVar            Initial size of the hash table uses for a variable.
18
19       ModelOper           Size of the hash table uses as a cache.
20
21       MaxVar              Initial maximum number of variables.
22
23       MaxNode             Maximum nodes allowed.
24

DESCRIPTION

26       createbddsystem creates and initializes a bdd system.
27

RETURN VALUE

29       createbddsystem returns a pointer to the bdd system created.
30

ERRORS

32       "system model variable xxx error !"
33              The ModelVar parameter must be a positive value.
34       "system model oper xxx error !"
35              The ModelOper parameter must be a positive value.
36       "variable xxx out of range error !"
37              The MaxVar parameter must be less than BDD_MAX_VAR.
38

EXAMPLE

40       #include "bdd101.h"
41          bddsystem ∗BddSystem;
42          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
43          ...
44          destroybddsystem( BddSystem );
45

SEE ALSO

47       bdd(1) resetbddsytem(3), destroybddsytem(3).
48
49
50
51
52
53
54ASIM/LIP6                       October 1, 1997             CREATEBDDSYSTEM(3)