viewbddsystem

Langue: en

Version: October 1, 1997 (fedora - 05/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

NAME

viewbddsystem - displays a bdd system.
man2html: unable to open or read 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)
man2html: unable to open or read file man1/alc_bug_report.1