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

NAME

6       numberNodeAllBdd - count the number of nodes used in the BDD system
7

SYNOPSIS

9       #include "logmmm.h"
10       int numberNodeAllBdd()
11

DESCRIPTION

13       numberNodeAllBdd()  count  the number of the nodes that are used in the
14       BDD system
15

EXAMPLE

17       #include "mutnnn.h"      /* mbk utilities */
18       #include "logmmm.h"
19       pNode nodeA,nodeB,nodeC;
20       pNode res;
21       chain_list *pt;
22
23       initializeBdd(SMALL_BDD);
24       nodeA = createNodeTermBdd(3);
25       nodeB = createNodeTermBdd(3);
26       nodeC = createNodeTermBdd(4);
27       pt = NULL;
28       pt = addListBdd(pt,nodeA);
29       pt = addListBdd(pt,nodeB);
30       pt = addListBdd(pt,nodeC);
31       res = applyBdd(OR,pt);
32       printf("number of nodes = %d",numberNodeAllBdd());
33
34       /* it will display
35       number of nodes = 5
36       */
37
38       destroyBdd(1);
39

SEE ALSO

41       log(1),  bdd(1),  addListBdd(3),  numberNodeBdd(3),   notBdd(3),   con‐
42       straintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3).
43
44
45
46
47
48ASIM/LIP6                       October 1, 1997            NUMBERNODEALLBDD(3)
Impressum