1SIMPLIFDCZEROBDD(3)              BDD functions             SIMPLIFDCZEROBDD(3)
2
3
4

NAME

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

SYNOPSIS

10       #include "logmmm.h"
11       pNode simplifDcZeroBdd(pBdd1,pBdd2)
12       pNode pBdd1;
13       pNode pBdd2;
14

PARAMETERS

16       pBdd1               BDD to simplify
17
18       pBdd2               "don't care" function
19

DESCRIPTION

21       simplifDcZeroBdd() simplifies pBdd1 with pBdd2. pBdd2 must be  included
22       imperatively  in the off-set part of pBdd1. This function returns a BDD
23       that depends to the order of the BDD.
24

EXAMPLE

26       #include "mutnnn.h"      /* mbk utilities */
27       #include "logmmm.h"
28       pNode nodeA,NodeB;
29       pNode res,res1,res2;
30
31       initializeBdd(SMALL_BDD);
32       nodeA = createNodeTermBdd(3);
33       nodeB = createNodeTermBdd(3);
34       res1 = applyBinBdd(OR,nodeA,nodeB);     /* res1 = (OR a b) */
35       res2 = applyBinBdd(NOR,nodeA,nodeB);    /* res2 = (NOR a b) */
36       res = simplifDcZeroBdd(res1,res2); /* res1 and res2 = 0 */
37       displayBdd(res,1);
38
39       /* it will display
40       @res   ONE
41       */
42
43       destroyBdd(1);
44

SEE ALSO

46       log(1),  bdd(1),  simplifDcOneBdd(3),  applyBdd(3),   notBdd(3),   con‐
47       straintBdd(3),  applyBinBdd(3),  addListBdd(3), displayBdd(3), createN‐
48       odeTermBdd(3).
49
50
51
52
53
54ASIM/LIP6                       October 1, 1997            SIMPLIFDCZEROBDD(3)
Impressum