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

NAME

6       clearbddsystemref - clears the references for all bdd nodes.
7

SYNOPSIS

9       #include "bdd101.h"
10       void clearbddsystemref( BddSystem )
11         bddsystem ΒddSystem;
12

PARAMETERS

14       BddSystem           The bdd system.
15

DESCRIPTION

17       clearbddsystemref  clears  the  internal and external references of all
18       the bdd nodes in the bdd system BddSystem.  If a null pointer is given,
19       the default bdd system is used.
20

RETURN VALUE

22       clearbddsystemref returns nothing.
23

EXAMPLE

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

SEE ALSO

34       bdd(1), clearbddsystemrefint(3), clearbddsystemrefext(3).
35
36
37
38
39
40
41ASIM/LIP6                       October 1, 1997           CLEARBDDSYSTEMREF(3)