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

NAME

6       testbddcircuit - debugs a bdd circuit.
7

SYNOPSIS

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

PARAMETERS

14       BddCircuit          The bdd circuit to debug.
15

DESCRIPTION

17       testbddcircuit  calls  a  debugger of BddCircuit.  If a null pointer is
18       given, the default bdd circuit is used.  This function provides a  mul‐
19       tiple commands to debug all the functions include in this bdd package.
20

RETURN VALUE

22       testbddcircuit  returns  0  if the debugger is interrupt by user, and 1
23       otherwise.
24

EXAMPLE

26       #include "bdd101.h"
27          bddsystem  ∗BddSystem;
28          bddcircuit ∗BddCircuit;
29          bddnode    ∗BddNode;
30          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
31          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
32          ...
33          testbddcircuit( (bddcircuit ∗)0 );
34          destroybddsystem( (bddsystem ∗)0 );
35          destroybddcircuit( (bddcircuit ∗)0 );
36

SEE ALSO

38       bdd(1)
39
40
41
42
43
44
45ASIM/LIP6                       October 1, 1997              TESTBDDCIRCUIT(3)
Impressum