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

NAME

6       incbddrefint - increments the internal reference of a bdd node.
7

SYNOPSIS

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

PARAMETERS

14       BddNode             The bdd node.
15

DESCRIPTION

17       incbddrefint  increments  the  number  of internal reference of the bdd
18       node BddNode.
19

RETURN VALUE

21       incbddrefint 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          incbddrefint( BddNode );
35          /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 1  REF_INT: 1 */
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                INCBDDREFINT(3)