SIMPLIFDCZEROBDD(3) BDD functions SIMPLIFDCZEROBDD(3) NAME simplifDcZeroBdd - simplifies a BDD with don't cares on its off-set part SYNOPSIS #include "logmmm.h" pNode simplifDcZeroBdd(pBdd1,pBdd2) pNode pBdd1; pNode pBdd2; PARAMETERS pBdd1 BDD to simplify pBdd2 "don't care" function DESCRIPTION simplifDcZeroBdd() simplifies pBdd1 with pBdd2. pBdd2 must be included im- peratively in the off-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(OR,nodeA,nodeB); /* res1 = (OR a b) */ res2 = applyBinBdd(NOR,nodeA,nodeB); /* res2 = (NOR a b) */ res = simplifDcZeroBdd(res1,res2); /* res1 and res2 = 0 */ displayBdd(res,1); /* it will display @res ONE */ destroyBdd(1); SEE ALSO log(1), bdd(1), simplifDcOneBdd(3), applyBdd(3), notBdd(3), con- straintBdd(3), applyBinBdd(3), addListBdd(3), displayBdd(3), createNode- TermBdd(3). ASIM/LIP6 October 1, 1997 SIMPLIFDCZEROBDD(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=simplifDcZeroBdd&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>