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

NAME

6       incbddrefext - increments the external reference of a bdd node.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddnode ∗incbddrefext( BddNode )
11         bddnode ∗BddNode;
12

PARAMETERS

14       BddNode             The bdd node.
15

DESCRIPTION

17       incbddrefext  increments  the  number  of external reference of the bdd
18       node BddNode.
19

RETURN VALUE

21       incbddrefext returns the BddNode pointer.
22

EXAMPLE

24       #include "bdd101.h"
25          bddsystem  ∗BddSystem;
26          bddcircuit ∗BddCircuit;
27          bddnode    ∗BddNode;
28          chain_list ∗Expr;
29          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
30          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
31          BddNode = addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
32          BddNode = addbddnode( (bddsystem ∗)0, BddNode->INDEX, BddNode->LOW, BddNode->HIGH );
33          Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
34          incbddrefext( BddNode );
35          /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 2  REF_INT: 0 */
36          viewbddnode( (bddsystem ∗)0, BddNode );
37          /* displays (not i0) */
38          viewablexpr( Expr, ABL_VIEW_VHDL );
39          freeablexpr( Expr );
40          destroybddsystem( (bddsystem ∗)0 );
41          destroybddcircuit( (bddcircuit ∗)0 );
42

SEE ALSO

44       bdd(1)
45
46
47
48
49
50
51ASIM/LIP6                       October 1, 1997                INCBDDREFEXT(3)