1VIEWBDDNODE(3)                   BDD FUNCTIONS                  VIEWBDDNODE(3)
2
3
4

NAME

6       viewbddnode - displays a bdd node.
7

SYNOPSIS

9       #include "bdd101.h"
10       void viewbddnode( BddSystem, BddNode )
11         bddsystem ∗BddSystem;
12         bddnode   ∗BddNode;
13

PARAMETERS

15       BddSystem           The bdd system.
16
17       BddNode             The bdd node to display.
18

DESCRIPTION

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

RETURN VALUE

24       viewbddnode returns nothing.
25

EXAMPLE

27       #include "bdd101.h"
28          bddsystem  ∗BddSystem;
29          bddcircuit ∗BddCircuit;
30          bddnode    ∗BddNode;
31          chain_list ∗Expr;
32          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
33          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
34          addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
35          addbddcircuitin( (bddcircuit ∗)0, "i1", 0, BDD_IN_MODE_FIRST );
36          BddNode = applybddnode( (bddsystem ∗)0,
37                                  ABL_AND,
38                                  searchbddcircuitin( (bddcircuit ∗)0, "i0" ),
39                                  searchbddcircuitin( (bddcircuit ∗)0, "i1" ) );
40          Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
41          /* displays (i0 and i1) */
42          viewablexpr( Expr, ABL_VIEW_VHDL );
43          freeablexpr( Expr );
44          /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 1  REF_INT: 0 */
45          viewbddnode( (bddsystem ∗)0, BddNode );
46          destroybddsystem( (bddsystem ∗)0 );
47          destroybddcircuit( (bddcircuit ∗)0 );
48

SEE ALSO

50       bdd(1)
51
52
53
54
55
56
57ASIM/LIP6                       October 1, 1997                 VIEWBDDNODE(3)