viewbddsystem(3) 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 );