NAME

       notBdd - complements a BDD

SYNOPSYS

       #include "logmmm.h"
       pNode notBdd(pBdd)
       pNode pBdd;

PARAMETER

       pBdd                BDD to complement

DESCRIPTION

       notBdd() applies NOT operator to pBdd.

EXAMPLE

       #include "mutnnn.h"      /* mbk utilities */
       #include "logmmm.h"
       pNode nodeA;

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);

       displayBdd(notBdd(nodeA),1);

       /* it will display
       @nodeA   INDEX = 2   LOW = ONE   HIGH = ZERO
       */

       destroyBdd(1);

SEE ALSO

       log(1),    bdd(1),   applyBinBdd(3),   applyBdd(3),   constraintBdd(3),   composeBdd(3),   addListBdd(3),
       displayBdd(3), createNodeTermBdd(3).

ASIM/LIP6                                        October 1, 1997                                       NOTBDD(3)