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

NAME

6       resetbddcircuit - resets a bdd circuit.
7

SYNOPSIS

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

PARAMETERS

14       BddCircuit          The bdd circuit to reset.
15

DESCRIPTION

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

RETURN VALUE

21       resetbddcircuit 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          resetbddcircuit( (bddcircuit ∗)0 );
31          ...
32          destroybddsystem( (bddsystem ∗)0 );
33

SEE ALSO

35       bdd(1), createbddcircuit(3), destroybddcircuit(3).
36
37
38
39
40
41
42ASIM/LIP6                       October 1, 1997             RESETBDDCIRCUIT(3)
Impressum