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

NAME

6       clearbddsystemrefint  -  clears  the  internal  references  for all bdd
7       nodes.
8

SYNOPSIS

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

PARAMETERS

15       BddSystem           The bdd system.
16

DESCRIPTION

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

RETURN VALUE

23       clearbddsystemrefint returns nothing.
24

EXAMPLE

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

SEE ALSO

35       bdd(1), clearbddsystemref(3), clearbddsystemrefext(3).
36
37
38
39
40
41
42ASIM/LIP6                       October 1, 1997        CLEARBDDSYSTEMREFINT(3)
Impressum