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

NAME

6       createNodeTermBdd - creates a terminal node of variable.
7

SYNOPSIS

9       #include "logmmm.h"
10       pNode createNodeTermBdd(index)
11       short index;
12

PARAMETER

14       index               associated index
15

DESCRIPTION

17       createNodeTermBdd()  creates  a  terminal  node corresponding to index.
18       Because of reduction table, this function always returns the same pNode
19       for  a  given  index.  0  and  1 index are reserved to the zero and one
20       nodes.
21

EXAMPLE

23       #include "mutnnn.h"      /* mbk utilities */
24       #include "logmmm.h"
25       pNode nodeA;
26
27       initializeBdd(SMALL_BDD);
28       nodeA = createNodeTermBdd(3);
29       displayBdd(nodeA,1);
30
31       /* it will display
32       @nodeA   INDEX = 2   LOW = ZERO   HIGH = ONE
33       */
34       nodeA = createNodeTermBdd(3); /* nodeA doesn't change */
35
36       destroyBdd(1);
37

ERROR

39       "createNodeTermBdd : error - index < 2"
40       index must be strictly higher than 1.
41

SEE ALSO

43       log(1),  bdd(1),  applyBinBdd(3),  applyBdd(3),   addListBdd(3),   dis‐
44       playBdd(3), notBdd(3).
45
46
47
48
49
50ASIM/LIP6                       October 1, 1997           CREATENODETERMBDD(3)
Impressum