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

NAME

6       supportChain_listBdd - returns a chained list of nodes that are used in
7       a given BDD.
8

SYNOPSIS

10       #include "logmmm.h"
11       chain_list *supportChain_listBdd(pBdd)
12       pNode pBdd;
13

PARAMETER

15       pBdd                BDD
16

DESCRIPTION

18       supportChain_listBdd() creates a chained list in which all the nodes of
19       pBdd are represented.
20

EXAMPLE

22       #include "mutnnn.h"      /* mbk utilities */
23       #include "logmmm.h"
24       pNode nodeA,nodeB,nodeC;
25       pNode res;
26       chain_list *pt;
27
28       initializeBdd(SMALL_BDD);
29       nodeA = createNodeTermBdd(3);
30       nodeB = createNodeTermBdd(3);
31       nodeC = createNodeTermBdd(4);
32       pt = NULL;
33       pt = addListBdd(pt,nodeA);
34       pt = addListBdd(pt,nodeB);
35       pt = addListBdd(pt,nodeC);
36       res = applyBdd(OR,pt);
37       pt = supportChain_listBdd(res);
38
39       while (pt)
40          {
41          printf("--- ");
42          displayBdd((pNode) pt->DATA,0); /* displays the node */
43          pt = pt->NEXT;
44          }
45       /* it will display
46
47       --- @nodeA   index = 2  LOW = ZERO    HIGH = ONE
48       --- @inter   index = 3  LOW = @nodeA  HIGH = ONE
49       --- @res     index = 4  LOW = @inter  HIGH = ONE
50       */
51
52       destroyBdd(1);
53

SEE ALSO

55       log(1),   bdd(1),   numberNodeBdd(3),  addListBdd(3),  notBdd(3),  con‐
56       straintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3).
57
58
59
60
61
62ASIM/LIP6                       October 1, 1997        SUPPORTCHAIN_LISTBDD(3)
Impressum