NAME

       addbddnode - adds a new bdd node in the bdd system.

SYNOPSYS

       #include "bdd101.h"
       bddnode ∗addbddnode( BddSystem, Index, High, Low  )
         bddsystem ∗BddSystem;
         bddindex   Index;
         bddnode   ∗High;
         bddnode   ∗Low;

PARAMETERS

       BddSystem           The bdd system.

       Index               The bdd index.

       High                The bdd high pointer.

       Low                 The bdd low pointer.

DESCRIPTION

       addbddnode  adds  a  new  node  with the index Index, High as HIGH pointer, and Low as LOW
       pointer in the bdd system BddSystem. If the bdd node exist already addbddnode  return  its
       pointer.  If a null pointer is given, the default bdd system is used.

RETURN VALUE

       addbddnode  returns  a  pointer  to  the  resulting  bdd  node with its number of external
       reference incremented.

ERRORS

       "index xxx out of range"
              The Index parameter must be a valid index.

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 );
          /* displays (not i0) */
          viewablexpr( Expr, ABL_VIEW_VHDL );
          freeablexpr( Expr );
          destroybddsystem( (bddsystem ∗)0 );
          destroybddcircuit( (bddcircuit ∗)0 );

SEE ALSO

       bdd(1)