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)