NAME¶

decbddrefint - decrements the internal reference of a bdd node.

ORIGIN¶

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.

Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr

SYNOPSYS¶

#include "bdd101.h"
bddnode ∗decbddrefint( BddNode )


  bddnode ∗BddNode;

PARAMETERS¶

BddNode

The bdd node.

DESCRIPTION¶

decbddrefint decrements the number of internal reference of the bdd node BddNode.

RETURN VALUE¶

decbddrefint returns the BddNode pointer.

ERRORS¶

"negative reference, index xxx error !"

EXAMPLE¶

#include "bdd101.h"


   bddsystem  ∗BddSystem;


   bddcircuit ∗BddCircuit;


   bddnode    ∗BddNode;


   chain_list ∗Expr;


   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );


   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );


   BddNode = addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );


   BddNode = addbddnode( (bddsystem ∗)0, BddNode->INDEX, BddNode->LOW, BddNode->HIGH );


   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );


   incbddrefint( BddNode );


   decbddrefint( BddNode );


   /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 1  REF_INT: 0 */


   viewbddnode( (bddsystem ∗)0, BddNode );


   /* displays (not i0) */


   viewablexpr( Expr, ABL_VIEW_VHDL );


   freeablexpr( Expr );


   destroybddsystem( (bddsystem ∗)0 );


   destroybddcircuit( (bddcircuit ∗)0 );

SEE ALSO¶

bdd(1)

BUG REPORT¶

This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.