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

NAME

6       viewbddsysteminfo - displays statistical information.
7

SYNOPSIS

9       #include "bdd101.h"
10       void viewbddsysteminfo( BddSystem )
11         bddsystem ∗BddSystem;
12

PARAMETERS

14       BddSystem           The bdd system to examines.
15

DESCRIPTION

17       viewbddsysteminfo  provides  statistical  information on the bdd system
18       BddSystem, for example the perfomance of the different  caches.   If  a
19       null pointer is given, the default bdd system is used.
20

RETURN VALUE

22       viewbddsysteminfo returns nothing.
23

EXAMPLE

25       #include "bdd101.h"
26          bddsystem ∗BddSystem;
27          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
28          ...
29          viewbddsysteminfo( BddSystem );
30          destroybddsystem( BddSystem );
31

SEE ALSO

33       bdd(1) viewbddsystem(3).
34
35
36
37
38
39
40ASIM/LIP6                       October 1, 1997           VIEWBDDSYSTEMINFO(3)