notBdd.3alc - Man Page

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

pBdd

BDD to complement

notBdd() applies NOT operator to pBdd.

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

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

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