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

NAME

6       applyBinBdd - applies an operator to two BDD.
7

SYNOPSIS

9       #include "logmmm.h"
10       pNode applyBinBdd(oper,pBdd1,pBdd2)
11       short oper;
12       pNode pBdd1;
13       pNode pBdd2;
14

PARAMETERS

16       oper                operator number to apply (OR,AND,XOR,NAND,NOR,NXOR)
17
18       pBdd1               first argument
19
20       pBdd2               second argument
21

DESCRIPTION

23       applyBinBdd()  applies  oper to pBdd1 and pBdd2. This function provides
24       the basic method for creating the representation of a boolean function.
25

EXAMPLE

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

SEE ALSO

46       log(1),  bdd(1),   applyBdd(3),   notBdd(3),   constraintBdd(3),   com‐
47       poseBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).
48
49
50
51
52
53ASIM/LIP6                       October 1, 1997                 APPLYBINBDD(3)