NAME

       convertbddmuxabl - converts two bdd nodes to an abl multiplexor expression.

SYNOPSYS

       #include "bdd101.h"
       chain_list *convertbddmuxabl( BddSystem, NameArray, IndexArray, Equation, BddHigh, BddLow )
         bddsystem  ΒddSystem;
         char      (*NameArray;
         bddindex   ΙndexArray;
         chain_list Εquation;
         bddnode    ΒddHigh;
         bddnode    ΒddLow;

PARAMETERS

       BddSystem           The bdd system.

       NameArray           The array of names.

       IndexArray          The array of indexes.

       Equation            The multiplexor command.

       BddHigh             The first bdd node.

       BddLow              The second bdd node.

DESCRIPTION

       convertbddmuxabl  creates  the  following  abl  expression  ( BddHigh AND Equation ) OR ( BddLow AND (NOT
       Equation ) ) 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  node  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

       convertbddmuxabl returns a pointer to the abl expression translated.

EXAMPLE

       #include "bdd101.h"
          bddsystem  ∗BddSystem;
          bddnode    ∗BddNode1;
          bddnode    ∗BddNode2;
          chain_list ∗Expr;
          char       ∗NameArray[ 2 ];
          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
          BddNode1  = addbddvarlast( BddSystem );
          BddNode2  = addbddvarlast( BddSystem );
          NameArray[ 0 ] = namealloc( "i0" );
          NameArray[ 1 ] = namealloc( "i1" );
          Expr = convertbddmuxabl( BddSystem, NameArray, (bddindex ∗)0,
                                   createablatom( "C" ),  BddNode1, BddNode2 );
          /* displays (i0 and C) or (i1 and (not C)) */
          viewablexpr( Expr, ABL_VIEW_VHDL );
          freeablexpr( Expr );
          destroybddsystem( (bddsystem ∗)0 );

SEE ALSO

       bdd(1), abl(1).