NAME

       simplifDcZeroBdd - simplifies a BDD with don't cares on its off-set part

SYNOPSYS

       #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 imperatively 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),   constraintBdd(3),   applyBinBdd(3),
       addListBdd(3), displayBdd(3), createNodeTermBdd(3).

ASIM/LIP6                                        October 1, 1997                             SIMPLIFDCZEROBDD(3)