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

NAME

6       bddToAblCct - converts a BDD into an ABL within a circuit
7

SYNOPSIS

9       #include "logmmm.h"
10       chain_list *bddToAblCct(pC,pBdd)
11       pCircuit pC;
12       pNode pBdd;
13

PARAMETERS

15       pC                  Circuit in which is made the conversion
16
17       pBdd                BDD to convert
18

DESCRIPTION

20       bddToAblCct() converts pBdd into an expression. This function returns a
21       result that depends from the ordering of the primary input. This  func‐
22       tion provides the basic method for the logical optimizer called in BOP.
23

EXAMPLE

25       #include "mutnnn.h"      /* mbk utilities */
26       #include "logmmm.h"
27       chain_list *expr;
28       pNode res;
29       pCircuit pC;
30
31       initializeBdd(SMALL_BDD);
32       pC = initializeCct("circuit 1",10,10);
33
34       addInputCct(pC,"a");
35       addInputCct(pC,"b");
36
37            /* let's suppose that res = (OR a b) */
38
39       expr = bddToAblCct(pC,applyBinBdd(OR,
40                           createNodeTermBdd(searchInputCct(pC,"a"))),
41                           createNodeTermBdd(searchInputCct(pC,"b")));
42       displayExpr(expr);
43
44       /* it will display
45       (OR a b)
46       */
47
48       destroyCct(pC);
49       destroyBdd(1);
50

SEE ALSO

52       log(1), bdd(1), abl(1), ablToBddCct(3).
53
54
55
56
57
58ASIM/LIP6                       October 1, 1997                 BDDTOABLCCT(3)
Impressum