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.