SIMPLE SOLUTIONS

RESETBDD(3) - Linux man page online | Library functions

Resets the BDDs system.

Chapter
October 1, 1997
RESETBDD(3) BDD functions RESETBDD(3)

NAME

resetBdd - resets the BDDs system

SYNOPSYS

#include "logmmm.h" void resetBdd()

DESCRIPTION

resetBdd() resets the BDDs system. This function can be only called after the initial‐ izeBdd() 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), numberNodeAllBdd(3), resetBdd(3).
ASIM/LIP6 October 1, 1997 RESETBDD(3)
This manual Reference Other manuals
resetBdd(3) referred by destroyBdd(3) | initializeBdd(3)
refer to bdd(1) | destroyBdd(3) | gcNodeBdd(3) | log(1) | markAllBdd(3) | numberNodeAllBdd(3)
Download raw manual
Main page BDD FUNCTIONS (+101) ASIM/LIP6 (+480) № 3 (+68044)
Go top