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

NAME

6       numberNodeBdd - computes the number of nodes used in a BDD
7

SYNOPSIS

9       #include "logmmm.h"
10       int numberNodeBdd(pBdd)
11       pNode pBdd;
12

PARAMETER

14       pBdd                BDD on which the compute does
15

DESCRIPTION

17       numberNodeBdd()  computes  the number of reduced nodes that are used in
18       pBdd.
19

EXAMPLE

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

SEE ALSO

45       log(1),  bdd(1),  addListBdd(3),  numberNodeBdd(3),   notBdd(3),   con‐
46       straintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3).
47
48
49
50
51
52ASIM/LIP6                       October 1, 1997               NUMBERNODEBDD(3)
Impressum