SIMPLIFDCONEBDD(3) BDD functions SIMPLIFDCONEBDD(3) NAME simplifDcOneBdd - simplifies a BDD with don't cares on its on-set part SYNOPSIS #include "logmmm.h" pNode simplifDcOneBdd(pBdd1,pBdd2) pNode pBdd1; pNode pBdd2; PARAMETERS pBdd1 BDD to simplify pBdd2 "don't care" function DESCRIPTION simplifDcOneBdd() simplifies pBdd1 with pBdd2. pBdd2 must be included im- peratively in the on-set part of pBdd1. This function returns a BDD that depends to the order of the BDD. EXAMPLE #include "mutnnn.h" /* mbk utilities */ #include "logmmm.h" pNode nodeA,nodeB; pNode res,res1,res2; initializeBdd(SMALL_BDD); nodeA = createNodeTermBdd(3); nodeB = createNodeTermBdd(3); res1 = applyBinBdd(XOR,nodeA,nodeB); /* res1 = (XOR a b) */ res2 = applyBinBdd(AND,notBdd(nodeA),nodeB); /* res2 = (AND (not a) b) */ res = simplifDcOneBdd(res1,res2); /* res1 and res2 = res2 */ /* res = (AND a (not b)) */ destroyBdd(1); SEE ALSO log(1), bdd(1), simplifDcZeroBdd(3), constraintBdd(3), composeBdd(3), up- VarBdd(3). ASIM/LIP6 October 1, 1997 SIMPLIFDCONEBDD(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=simplifDcOneBdd&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>