supportchain_listbdd(3) - Linux man page

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).

Referenced By