decbddrefint(3alc)

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

NAME

6       decbddrefint - decrements the internal reference of a bdd node.
7

SYNOPSIS

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

PARAMETERS

14       BddNode             The bdd node.
15

DESCRIPTION

17       decbddrefint  decrements  the  number  of internal reference of the bdd
18       node BddNode.
19

RETURN VALUE

21       decbddrefint returns the BddNode pointer.
22

ERRORS

24       "negative reference, index xxx error !"
25              The BddNode must have a positive number of internal reference.
26

EXAMPLE

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