NAME

       viewbddsystem - displays a bdd system.

SYNOPSYS

       #include "bdd101.h"
       void viewbddsystem( BddSystem, ViewIndex )
         bddsystem ∗BddSystem;
         char       ViewIndex;

PARAMETERS

       BddSystem           The bdd system to display.

       ViewIndex           Flag to display more informations.

DESCRIPTION

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

RETURN VALUE

       viewbddsystem returns nothing.

EXAMPLE

       #include "bdd101.h"
          bddsystem ∗BddSystem;
          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
          ...
          viewbddsystem( BddSystem, 0 );
          destroybddsystem( (bddsystem ∗)0 );

SEE ALSO

       bdd(1)