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

NAME

6       notBdd - complements a BDD
7

SYNOPSIS

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

PARAMETER

14       pBdd                BDD to complement
15

DESCRIPTION

17       notBdd() applies NOT operator to pBdd.
18

EXAMPLE

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

SEE ALSO

36       log(1),  bdd(1),  applyBinBdd(3),  applyBdd(3),  constraintBdd(3), com‐
37       poseBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).
38
39
40
41
42
43ASIM/LIP6                       October 1, 1997                      NOTBDD(3)
Impressum