resetbddsystem(3) [debian man page]
RESETBDDSYSTEM(3) BDD FUNCTIONS RESETBDDSYSTEM(3) NAME
resetbddsystem - resets a bdd system. 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 SYNOPSYS
#include "bdd101.h" void resetbddsystem( BddSystem ) bddsystem *BddSystem; PARAMETERS
BddSystem The bdd system to reset. DESCRIPTION
resetbddsystem resets the bdd system BddSystem. If a null pointer is given, the default bdd system is used. RETURN VALUE
resetbddsystem returns nothing. EXAMPLE
#include "bdd101.h" bddsystem *BddSystem; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); ... resetbddsystem( (bddsystem *)0 ); destroybddsystem( BddSystem ); SEE ALSO
bdd(1) createbddsytem(3), destroybddsytem(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 RESETBDDSYSTEM(3)
Check Out this Related Man Page
REORDERBDDSYSTEMWINDOW(3) BDD FUNCTIONS REORDERBDDSYSTEMWINDOW(3) NAME
reorderbddsystemwindow - reorders the bdd nodes of a bdd system. 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 SYNOPSYS
#include "bdd101.h" void reorderbddsystemwindow( BddSystem ) bddsystem *BddSystem; PARAMETERS
BddSystem The bdd system. DESCRIPTION
reorderbddsystemwindow reorders all the bdd nodes of the bdd system BddSystem, in order to minimize the total number of bdd nodes. If a null pointer is given, the default bdd system is used. RETURN VALUE
reorderbddsystemwindow returns nothing. EXAMPLE
#include "bdd101.h" bddsystem *BddSystem; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); ... reorderbddsystemwindow( BddSystem ); ... destroybddsystem( BddSystem ); SEE ALSO
bdd(1) 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 REORDERBDDSYSTEMWINDOW(3)