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 );