ORIGIN¶

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.

Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr

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

BUG REPORT¶

This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.