convertbddindexabl

CONVERTBDDINDEXABL(3)            BDD FUNCTIONS           CONVERTBDDINDEXABL(3)



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



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"
       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)




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






ASIM/LIP6                       October 1, 1997          CONVERTBDDINDEXABL(3)