CONSTRAINTBDD(3) BDD functions CONSTRAINTBDD(3) NAME constraintBdd - 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 restrict- ing 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), ap- plyBdd(3), notBdd(3), applyBinBdd(3), addListBdd(3), displayBdd(3), creat- eNodeTermBdd(3). ASIM/LIP6 October 1, 1997 CONSTRAINTBDD(3)
NAME | SYNOPSIS | PARAMETERS | DESCRIPTION | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=constraintBdd&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>