debian man page for viewbddsystem

VIEWBDDSYSTEM(3)						   BDD FUNCTIONS						  VIEWBDDSYSTEM(3)

NAME
       viewbddsystem - displays a bdd system.

ORIGIN
       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

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)

BUG REPORT
       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997						  VIEWBDDSYSTEM(3)