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

NAME

6       constraintBdd - restricts a BDD to another BDD
7

SYNOPSIS

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

PARAMETERS

15       pBdd1               BDD to restrict
16
17       pBdd2               constraint BDD
18

DESCRIPTION

20       constraintBdd()  constructs  the  graph  for  the  function obtained by
21       restricting pBdd1 on pBdd2.  This function can be used for example when
22       a primary input is stuck at 0 or 1.
23

EXAMPLE

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

SEE ALSO

44       log(1), bdd(1), simplifDcOneBdd(3), simplifDcZeroBdd(3), composeBdd(3),
45       applyBdd(3), notBdd(3), applyBinBdd(3),  addListBdd(3),  displayBdd(3),
46       createNodeTermBdd(3).
47
48
49
50
51
52ASIM/LIP6                       October 1, 1997               CONSTRAINTBDD(3)