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¶
gcNodeBdd - does a garbage collection
SYNOPSYS¶
#include "logmmm.h"
void gcNodeBdd(pt)
chain_list *pt;
PARAMETER¶
- pt
- chained list of BDD to rescue
DESCRIPTION¶
gcNodeBdd() removes all the nodes that aren't used in the BDD pointed in
the chained list
pt.
EXAMPLE¶
#include "mutnnn.h" /* mbk utilities */
#include "logmmm.h"
pNode nodeA,nodeB,nodeC;
pNode res1,res2;
chain_list *ptCL;
initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
nodeC = createNodeTermBdd(4);
res1 = applyBinBdd(OR,applyBinBdd(OR,nodeA,nodeB),nodeC);
res2 = applyBinBdd(AND,applyBinBdd(AND,nodeA,nodeB),nodeC);
printf("number of nodes in memory = %d",numberAllNodeBdd());
/* it will display
7
*/
ptCL = addchain(NULL,res1);
gcNodeBdd(ptCL); /* only res1 nodes are saved */
freechain(ptCL);
printf("number of nodes in memory = %d",numberAllNodeBdd());
/* it will display
number of nodes in memory = 5
*/
destroyBdd(1);
SEE ALSO¶
log(1),
bdd(1),
markBdd(3),
supportChain_listBdd(3),
markAllBdd(3),
numberNodeBdd(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.