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
VIEWBDDCIRCUIT(3) BDD FUNCTIONS VIEWBDDCIRCUIT(3)

viewbddcircuit - displays a bdd circuit.
See the file man1/alc_origin.1.

#include "bdd101.h"
void viewbddcircuit( BddCircuit, ViewIndex )
  bddcircuit ∗BddCircuit;
  char       ViewName;

BddCircuit
The bdd circuit to display.
ViewName
Flag to display more informations.

viewbddcircuit displays the bdd circuit BddCircuit. If ViewName is true, viewbddcircuit displays also the field NAME_IN. If a null pointer is given, the default bdd circuit is used.
 

viewbddcircuit returns nothing.

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   ...
   viewbddcircuit( (bddcircuit ∗)0, 0 );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)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.