resetbddsystem(3)
resets a bdd system.
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 );