notBdd.3alc - Man Page

complements a BDD

Synopsis

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

Referenced By

addListBdd.3alc(3), applyBdd.3alc(3), applyBinBdd.3alc(3), composeBdd.3alc(3), constraintBdd.3alc(3), createNodeTermBdd.3alc(3), displayBdd.3alc(3), numberNodeAllBdd.3alc(3), numberNodeBdd.3alc(3), simplifDcZeroBdd.3alc(3), supportChain_listBdd.3alc(3), upVarBdd.3alc(3).

October 1, 1997 ASIM/LIP6 BDD functions