Provided by: alliance_5.0-20120515-6_amd64 ![bug](/img/bug.png)
![bug](/img/bug.png)
NAME
destroybddsystem - destroys a bdd system.
SYNOPSYS
#include "bdd101.h" void destroybddsystem( BddSystem ) bddsystem ∗BddSystem;
PARAMETERS
BddSystem The bdd system to destroy.
DESCRIPTION
destroybddsystem destroys the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
RETURN VALUE
destroybddsystem returns nothing.
EXAMPLE
#include "bdd101.h" bddsystem ∗BddSystem; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); ... destroybddsystem( (bddsystem ∗)0 );
SEE ALSO
bdd(1)