VIEWBDDSYSTEM(3) BDD FUNCTIONS VIEWBDDSYSTEM(3) NAME viewbddsystem - displays a bdd system. SYNOPSIS #include "bdd101.h" void viewbddsystem( BddSystem, ViewIndex ) bddsystem *BddSystem; char ViewIndex; PARAMETERS BddSystem The bdd system to display. ViewIndex Flag to display more information. 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) ASIM/LIP6 October 1, 1997 VIEWBDDSYSTEM(3)
NAME | SYNOPSIS | PARAMETERS | DESCRIPTION | RETURN VALUE | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=viewbddsystem&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>