GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages
VIEWBDDSYSTEM(3) BDD FUNCTIONS VIEWBDDSYSTEM(3)

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

#include "bdd101.h"
void viewbddsystem( BddSystem, ViewIndex )
  bddsystem ∗BddSystem;
  char       ViewIndex;

BddSystem
The bdd system to display.
ViewIndex
Flag to display more informations.

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.
 

viewbddsystem returns nothing.

#include "bdd101.h"
   bddsystem ∗BddSystem;
   BddSystem = createbddsystem( 100, 1000, 100, 50000 );
   ...
   viewbddsystem( BddSystem, 0 );
   destroybddsystem( (bddsystem ∗)0 );

bdd(1)
See the file man1/alc_bug_report.1.
October 1, 1997 ASIM/LIP6

Search for    or go to Top of page |  Section 3 |  Main Index

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with ManDoc.