| RESETBDD(3) | BDD functions | RESETBDD(3) |
See the file buster/alliance/alc_origin.1.en.gz.
resetBdd - resets the BDDs system
#include "logmmm.h" void resetBdd()
resetBdd() resets the BDDs system. This function can be only called after the initializeBdd() function.
#include "mutnnn.h" /* mbk utilities */ #include "logmmm.h" initializeBdd(LARGE_BDD); /* first application using BDD ... */ resetBdd(); /* second application using BDD ... */ destroyBdd(1);
log(1), bdd(1), destroyBdd(3), gcNodeBdd(3), markAllBdd(3), numberNodeAllBdd(3), resetBdd(3).
See the file buster/alliance/alc_bug_report.1.en.gz.
| October 1, 1997 | ASIM/LIP6 |