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

NAME

6       destroybddcircuit - destroys a bdd circuit.
7

SYNOPSIS

9       #include "bdd101.h"
10        void destroybddcircuit( BddCircuit )
11         bddcircuit ∗BddCircuit;
12

PARAMETERS

14       BddCircuit          The bdd circuit to destroy.
15

DESCRIPTION

17       destroybddcircuit  destroys  the  bdd  circuit  BddCircuit.   If a null
18       pointer is given, the default bdd circuit is used.
19

RETURN VALUE

21       destroybddcircuit returns nothing.
22

EXAMPLE

24       #include "bdd101.h"
25          bddsystem  ∗BddSystem;
26          bddcircuit ∗BddCircuit;
27          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
28          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
29          ...
30          destroybddsystem( (bddsystem ∗)0 );
31          destroybddcircuit( (bddcircuit ∗)0 );
32

SEE ALSO

34       bdd(1)
35
36
37
38
39
40
41ASIM/LIP6                       October 1, 1997           DESTROYBDDCIRCUIT(3)
Impressum