Rechercher une page de manuel
gcNodeBdd
Langue: en
Version: October 1, 1997 (fedora - 05/07/09)
Section: 3 (Bibliothèques de fonctions)
man2html: unable to open or read file man1/alc_origin.1
NAME
gcNodeBdd - does a garbage collectionSYNOPSYS
#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),man2html: unable to open or read file man1/alc_bug_report.1
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre