convertbddindexabl

CONVERTBDDINDEXABL(3)            BDD FUNCTIONS           CONVERTBDDINDEXABL(3)



NAME
       convertbddindexabl - converts a bdd index to an abl expression.


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

SYNOPSIS
       #include "bdd101.h"
       chain_list *convertbddnodeabl( BddSystem, NameArray, IndexArray, BddNode )
         bddsystem ∗BddSystem;
         char     ∗∗NameArray;
         bddindex  ∗IndexArray;
         bddindex      Index;

PARAMETERS
       BddSystem           The bdd system.

       NameArray           The array of names.

       IndexArray          The array of indexes.

       Index               The bdd index to convert.

DESCRIPTION
       convertbddindexabl converts the bdd index Index to an abl expression in
       the bdd system BddSystem.  If a null pointer is given, the default bdd
       system is used.  The NameArray, and IndexArray parameters are used to
       translate the variable nodes into atomic expressions.  The array
       NameArray is list of names.  The array IndexArray does the
       correspondence between a bdd index and a slot in the NameArray. If the
       IndexArray parameter is a null pointer, then the name of the bdd index
       BDD_INDEX_MIN is assumed to be the first slot of the NameArray, and so
       on.

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

EXAMPLE
       #include "bdd101.h"
          bddsystem  ∗BddSystem;
          bddnode    ∗BddNode;
          chain_list ∗Expr;
          char       ∗NameArray[ 1 ];
          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
          BddNode   = addbddvarlast( BddSystem );
          NameArray[ 0 ] = namealloc( "i0" );
          Expr = convertbddindexabl( BddSystem, NameArray, (bddindex ∗)0,  BddNode->INDEX );
          /* displays i0 */
          viewablexpr( Expr, ABL_VIEW_VHDL );
          freeablexpr( Expr );
          destroybddsystem( (bddsystem ∗)0 );

SEE ALSO
       bdd(1)



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




ASIM/LIP6                       October 1, 1997          CONVERTBDDINDEXABL(3)