Table of Contents

Origin

This software belongs to the ALLIANCE CAD system from the CAO-VLSI team at ASIM/LIP6/UPMC laboratory.
LIP6/ASIM
University P. et M. Curie 4, place Jussieu 75252 PARIS Cedex 05 FRANCE
Fax : {33/0} 1.44.27.62.86
E-mail support : alliance-support@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/LIP6/UPMC laboratory, cao-vlsi research team.
We need your feedbak to improve documentation and tools. If you find bugs, please fill-in the form at http://asim.lip6.fr/alliance/support/bug-report/ Thanks for doing this.


Table of Contents

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 26 May 2000.