bionic (3) supportChain_listBdd.3.gz

NAME

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

SYNOPSYS

       #include "logmmm.h"
       chain_list *supportChain_listBdd(pBdd)
       pNode pBdd;

PARAMETER

       pBdd                BDD

DESCRIPTION

       supportChain_listBdd() creates a chained list in wich all the nodes of pBdd are represented.

EXAMPLE

       #include "mutnnn.h"      /* mbk utilities */
       #include "logmmm.h"
       pNode nodeA,nodeB,nodeC;
       pNode res;
       chain_list *pt;

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       nodeB = createNodeTermBdd(3);
       nodeC = createNodeTermBdd(4);
       pt = NULL;
       pt = addListBdd(pt,nodeA);
       pt = addListBdd(pt,nodeB);
       pt = addListBdd(pt,nodeC);
       res = applyBdd(OR,pt);
       pt = supportChain_listBdd(res);

       while (pt)
          {
          printf("--- ");
          displayBdd((pNode) pt->DATA,0); /* displays the node */
          pt = pt->NEXT;
          }
       /* it will display

       --- @nodeA   index = 2  LOW = ZERO    HIGH = ONE
       --- @inter   index = 3  LOW = @nodeA  HIGH = ONE
       --- @res     index = 4  LOW = @inter  HIGH = ONE
       */

       destroyBdd(1);

SEE ALSO

       log(1),    bdd(1),   numberNodeBdd(3),   addListBdd(3),   notBdd(3),   constraintBdd(3),   composeBdd(3),
       displayBdd(3), createNodeTermBdd(3).