convertbddcircuitabl

CONVERTBDDCIRCUITABL(3)          BDD FUNCTIONS         CONVERTBDDCIRCUITABL(3)



NAME
       convertbddcircuitabl - converts a bdd node to an abl expression.


>> Included manual page: man1/alc_origin.1alc

SYNOPSIS
       #include "bdd101.h"
       chain_list ∗convertbddcircuitabl( BddCircuit, BddNode )
         bddcircuit ∗BddCircuit;
         bddnode    ∗BddNode;

PARAMETERS
       BddCircuit          The bdd circuit.

       BddNode             The bdd node to convert.

DESCRIPTION
       convertbddcircuitabl converts the bdd node to an abl expression. The
       BddCircuit is used to translate the variable nodes into atomic
       expressions.  If a null pointer is given, the default bdd circuit is
       used.

RETURN VALUE
       convertbddcircuitabl returns a pointer to the abl expression
       translated.

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 );
          Expr = createablbinexpr( ABL_AND,
                                   createablatom( "i0" ),
                                   createablatom( "i1" ) );
          BddNode = addbddcircuitabl( BddCircuit, Expr );
          freeablexpr( Expr );
          Expr = convertbddcircuitabl( BddCircuit, BddNode );
          /* displays (i0 and i1) */
          viewablexpr( Expr, ABL_VIEW_VHDL );
          freeablexpr( Expr );
          destroybddsystem( (bddsystem ∗)0 );
          destroybddcircuit( (bddcircuit ∗)0 );

SEE ALSO
       bdd(1), abl(1), addbddcircuitabl(3).



>> Included manual page: man1/alc_bug_report.1alc




ASIM/LIP6                       October 1, 1997        CONVERTBDDCIRCUITABL(3)