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

viewbddnode - displays a bdd node.
See the file man1/alc_origin.1.

#include "bdd101.h"
void viewbddnode( BddSystem, BddNode )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;

BddSystem
The bdd system.
BddNode
The bdd node to display.

viewbddnode displays the node BddNode, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.
 

viewbddnode returns nothing.

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
   addbddcircuitin( (bddcircuit ∗)0, "i1", 0, BDD_IN_MODE_FIRST );
   BddNode = applybddnode( (bddsystem ∗)0,
                           ABL_AND,
                           searchbddcircuitin( (bddcircuit ∗)0, "i0" ),
                           searchbddcircuitin( (bddcircuit ∗)0, "i1" ) );
   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
   /* displays (i0 and i1) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 1  REF_INT: 0 */
   viewbddnode( (bddsystem ∗)0, BddNode );
   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.