RESETBDD(3) BDD functions RESETBDD(3) NAME resetBdd - resets the BDDs system SYNOPSIS #include "logmmm.h" void resetBdd() DESCRIPTION resetBdd() resets the BDDs system. This function can be only called after the initializeBdd() function. EXAMPLE #include "mutnnn.h" /* mbk utilities */ #include "logmmm.h" initializeBdd(LARGE_BDD); /* first application using BDD ... */ resetBdd(); /* second application using BDD ... */ destroyBdd(1); SEE ALSO log(1), bdd(1), destroyBdd(3), gcNodeBdd(3), markAllBdd(3), numberN- odeAllBdd(3), resetBdd(3). ASIM/LIP6 October 1, 1997 RESETBDD(3)
NAME | SYNOPSIS | DESCRIPTION | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.FreeBSD.org/cgi/man.cgi?query=resetBdd&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>