NAME

viewbddsystem - displays a bdd system. See the file man1/alc_origin.1.

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) See the file man1/alc_bug_report.1.