REORDERBDDSYSTEMTOP(3) - Linux man page online | Library functions
Reorders the bdd nodes of a bdd system.
Chapter
October 1, 1997
REORDERBDDSYSTEMTOP(3) BDD FUNCTIONS REORDERBDDSYSTEMTOP(3)
ASIM/LIP6 October 1, 1997 REORDERBDDSYSTEMTOP(3)
NAME
reorderbddsystemtop - reorders the bdd nodes of a bdd system.SYNOPSYS
#include "bdd101.h" void reorderbddsystemtop( BddSystem ) bddsystem ∗BddSystem;PARAMETERS
BddSystem The bdd system.DESCRIPTION
reorderbddsystemtop 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 sys‐ tem is used.RETURN VALUE
reorderbddsystemtop returns nothing.EXAMPLE
#include "bdd101.h" bddsystem ∗BddSystem; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); ... reorderbddsystemtop( BddSystem ); ... destroybddsystem( BddSystem );SEE ALSO
bdd(1)This manual | Reference | Other manuals |
---|---|---|
reorderbddsystemtop(3) | referred by | |
refer to | bdd(1) |