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

NAME

6       viewbddsystem - displays a bdd system.
7

SYNOPSIS

9       #include "bdd101.h"
10       void viewbddsystem( BddSystem, ViewIndex )
11         bddsystem ∗BddSystem;
12         char       ViewIndex;
13

PARAMETERS

15       BddSystem           The bdd system to display.
16
17       ViewIndex           Flag to display more information.
18

DESCRIPTION

20       viewbddsystem displays the bdd system BddSystem.  If ViewIndex is true,
21       viewbddsystem  displays  also   the   two   fields   INDEX_TO_VAR   and
22       VAR_TO_INDEX.   If  a  null pointer is given, the default bdd system is
23       used.
24

RETURN VALUE

26       viewbddsystem returns nothing.
27

EXAMPLE

29       #include "bdd101.h"
30          bddsystem ∗BddSystem;
31          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
32          ...
33          viewbddsystem( BddSystem, 0 );
34          destroybddsystem( (bddsystem ∗)0 );
35

SEE ALSO

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