1INITIALIZEBDD(3)                 BDD functions                INITIALIZEBDD(3)
2
3
4

NAME

6       initializeBdd - initializes the BDDs system
7

SYNOPSIS

9       #include "logmmm.h"
10       void initializeBdd(size)
11       int size;
12

PARAMETER

14       size                First size of BDD system
15

DESCRIPTION

17       initializeBdd()  initializes  the  BDDs  system.  size  can be equal to
18       SMALL_BDD, MEDIUM_BDD or LARGE_BDD according to the  application  size.
19       This  function  creates  the zero and one node that correspond to the 0
20       and 1 boolean constants.
21

EXAMPLE

23       #include "mutnnn.h"      /* mbk utilities */
24       #include "logmmm.h"
25
26       initializeBdd(MEDIUM_BDD);
27
28       dislayBdd(one);
29       /* it will display
30       ONE
31       */
32
33       /* application using BDD ... */
34
35       destroyBdd(1);
36

ERROR

38       "initializeBdd : error - size out of bound"
39       size must be included into SMALL_BDD and LARGE_BDD.
40

SEE ALSO

42       log(1), bdd(1),  destroyBdd(3),  resetBdd(3),  markAllBdd(3),  numberN‐
43       odeAllBdd(3).
44
45
46
47
48
49ASIM/LIP6                       October 1, 1997               INITIALIZEBDD(3)
Impressum