markallbdd(3) [debian man page]
MARKALLBDD(3) BDD functions MARKALLBDD(3) ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in Paris, France. Web : http://asim.lip6.fr/recherche/alliance/ E-mail : alliance-users@asim.lip6.fr NAME
markAllBdd - marks all the nodes of the BDDs system SYNOPSYS
#include "logmmm.h" void markAllBdd(value) short value; PARAMETER
value value to assign DESCRIPTION
markAllBdd() assigns to value the marks of all the nodes used in the BDDs system. SEE ALSO
log(1), bdd(1), markBdd(3), numberNodeBdd(3), numberNodeAllBdd(3), supportChain_listBdd(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. ASIM
/LIP6 October 1, 1997 MARKALLBDD(3)
Check Out this Related Man Page
DESTROYBDD(3) BDD functions DESTROYBDD(3) ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in Paris, France. Web : http://asim.lip6.fr/recherche/alliance/ E-mail : alliance-users@asim.lip6.fr NAME
destroyBdd - removes the BDDs system SYNOPSYS
#include "logmmm.h" void destroyBdd(level) PARAMETER
level desallocate level DESCRIPTION
destroyBdd() removes the BDDs system. This function can be called only after the initializeBdd() function. if level = 0 the nodes are saved and it's possible to go through the BDD for treatements that don't modify the BDD (simulation for example). EXAMPLE
#include "mutnnn.h" /* mbk utilities */ #include "logmmm.h" initializeBdd(MEDIUM_BDD); /* application using BDD ... */ destroyBdd(1); SEE ALSO
log(1), bdd(1), initializeBdd(3), gcNodeBdd(3), markAllBdd(3), numberNodeAllBdd(3), resetBdd(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. ASIM
/LIP6 October 1, 1997 DESTROYBDD(3)