notBdd3

Synopsys

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

Parameter

pBdd

BDD to complement

Overview

notBdd() applies NOT operator to pBdd.

Examples

#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);