1DESTROYBDDSYSTEM(3)              BDD FUNCTIONS             DESTROYBDDSYSTEM(3)
2
3
4

NAME

6       destroybddsystem - destroys a bdd system.
7

SYNOPSIS

9       #include "bdd101.h"
10         void destroybddsystem( BddSystem )
11         bddsystem ∗BddSystem;
12

PARAMETERS

14       BddSystem           The bdd system to destroy.
15

DESCRIPTION

17       destroybddsystem  destroys the bdd system BddSystem.  If a null pointer
18       is given, the default bdd system is used.
19

RETURN VALUE

21       destroybddsystem returns nothing.
22

EXAMPLE

24       #include "bdd101.h"
25          bddsystem ∗BddSystem;
26          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
27          ...
28          destroybddsystem( (bddsystem ∗)0 );
29

SEE ALSO

31       bdd(1)
32
33
34
35
36
37
38ASIM/LIP6                       October 1, 1997            DESTROYBDDSYSTEM(3)
Impressum