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

NAME

6       viewbddcircuit - displays a bdd circuit.
7

SYNOPSIS

9       #include "bdd101.h"
10       void viewbddcircuit( BddCircuit, ViewIndex )
11         bddcircuit ∗BddCircuit;
12         char       ViewName;
13

PARAMETERS

15       BddCircuit          The bdd circuit to display.
16
17       ViewName            Flag to display more information.
18

DESCRIPTION

20       viewbddcircuit  displays  the  bdd  circuit BddCircuit.  If ViewName is
21       true, viewbddcircuit displays  also  the  field  NAME_IN.   If  a  null
22       pointer is given, the default bdd circuit is used.
23

RETURN VALUE

25       viewbddcircuit returns nothing.
26

EXAMPLE

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

SEE ALSO

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