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

NAME

6       clearbddsystemrefext  -  clears  the  external  references  for all bdd
7       nodes.
8

SYNOPSIS

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

PARAMETERS

15       BddSystem           The bdd system.
16

DESCRIPTION

18       clearbddsystemrefext clears the external  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       clearbddsystemrefext returns nothing.
24

EXAMPLE

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

SEE ALSO

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