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

NAME

6       simplifDcOneBdd - simplifies a BDD with don't cares on its on-set part
7

SYNOPSIS

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

PARAMETERS

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

DESCRIPTION

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

EXAMPLE

25       #include "mutnnn.h"      /* mbk utilities */
26       #include "logmmm.h"
27       pNode nodeA,nodeB;
28       pNode res,res1,res2;
29
30       initializeBdd(SMALL_BDD);
31       nodeA = createNodeTermBdd(3);
32       nodeB = createNodeTermBdd(3);
33       res1 = applyBinBdd(XOR,nodeA,nodeB);         /* res1 = (XOR a b) */
34       res2 = applyBinBdd(AND,notBdd(nodeA),nodeB); /* res2 = (AND (not a) b) */
35       res = simplifDcOneBdd(res1,res2);  /* res1 and res2 = res2 */
36
37       /* res = (AND a (not b)) */
38
39       destroyBdd(1);
40

SEE ALSO

42       log(1),  bdd(1),  simplifDcZeroBdd(3), constraintBdd(3), composeBdd(3),
43       upVarBdd(3).
44
45
46
47
48
49ASIM/LIP6                       October 1, 1997             SIMPLIFDCONEBDD(3)
Impressum