decbddrefext(3alc)

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

NAME

6       decbddrefext - decrements the external reference of a bdd node.
7

SYNOPSIS

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

PARAMETERS

14       BddNode             The bdd node.
15

DESCRIPTION

17       decbddrefext  decrements  the  number  of external reference of the bdd
18       node BddNode.
19

RETURN VALUE

21       decbddrefext returns the BddNode pointer.
22

ERRORS

24       "negative reference, index xxx error !"
25              The BddNode must have a positive number of external 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          decbddrefext( BddNode );
39          /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 0  REF_INT: 0 */
40          viewbddnode( (bddsystem ∗)0, BddNode );
41          /* displays (not i0) */
42          viewablexpr( Expr, ABL_VIEW_VHDL );
43          freeablexpr( Expr );
44          destroybddsystem( (bddsystem ∗)0 );
45          destroybddcircuit( (bddcircuit ∗)0 );
46