notBdd(3) 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);