constraintBdd.3alc - Man Page
restricts a BDD to another BDD
Synopsis
#include "logmmm.h" pNode constraintBdd(pBdd1,pBdd2) pNode pBdd1; pNode pBdd2;
Parameters
- pBdd1
BDD to restrict
- pBdd2
constraint BDD
Description
constraintBdd() constructs the graph for the function obtained by restricting pBdd1 on pBdd2. This function can be used for example when a primary input is stuck at 0 or 1.
Example
#include "mutnnn.h" /* mbk utilities */ #include "logmmm.h" pNode nodeA,nodeB; pNode res; initializeBdd(SMALL_BDD); nodeA = createNodeTermBdd(3); nodeB = createNodeTermBdd(3); res = applyBinBdd(OR,nodeA,nodeB); /* res = (OR a b) res = constraintBdd(res,nodeA); /* a = 1 */ displayBdd(res,1); /* it will display @res ONE */ destroyBdd(1);
See Also
log(1), bdd(1), simplifDcOneBdd(3), simplifDcZeroBdd(3), composeBdd(3), applyBdd(3), notBdd(3), applyBinBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).
Referenced By
addListBdd.3alc(3), applyBdd.3alc(3), applyBinBdd.3alc(3), composeBdd.3alc(3), displayBdd.3alc(3), notBdd.3alc(3), numberNodeAllBdd.3alc(3), numberNodeBdd.3alc(3), simplifDcOneBdd.3alc(3), simplifDcZeroBdd.3alc(3), supportChain_listBdd.3alc(3), upVarBdd.3alc(3).
October 1, 1997 ASIM/LIP6 BDD functions