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

NAME

6       garbagebddsystem - Forces a bdd garbage collection.
7
8

SYNOPSIS

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

PARAMETERS

15       BddSystem           The bdd system.
16

DESCRIPTION

18       garbagebddsystem  frees  all the unused bdd nodes in the system BddSys‐
19       tem.  If a null pointer is given, the default bdd system  is  used.   A
20       bdd node is unused if its number of reference is null.
21

RETURN VALUE

23       garbagebddsystem returns nothing.
24

EXAMPLE

26       #include "bdd101.h"
27          bddsystem  ∗BddSystem;
28          bddcircuit ∗BddCircuit;
29          bddnode    ∗BddNode;
30          chain_list ∗Expr;
31          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
32          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
33          addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
34          addbddcircuitin( (bddcircuit ∗)0, "i1", 0, BDD_IN_MODE_FIRST );
35          BddNode = applybddnode( (bddsystem ∗)0,
36                                  ABL_AND,
37                                  searchbddcircuitin( (bddcircuit ∗)0, "i0" ),
38                                  searchbddcircuitin( (bddcircuit ∗)0, "i1" ) );
39          decbddrefext( BddNode );
40          garbagebddsystem( (bddsystem ∗)0 );
41          destroybddsystem( (bddsystem ∗)0 );
42          destroybddcircuit( (bddcircuit ∗)0 );
43

SEE ALSO

45       bdd(1)
46
47
48
49
50
51
52ASIM/LIP6                       October 1, 1997            GARBAGEBDDSYSTEM(3)
Impressum