CONVERTBDDMUXABL(3)

okay so bestie, welcome to CONVERTBDDMUXABL(3) from the BDD FUNCTIONS manual — we're doing bdd-to-abl multiplexor translation today and it's giving niche icon behavior. 💖

🎀 NAME 🎀

convertbddmuxabl — converts two bdd nodes to an abl multiplexor expression. no cap, that's literally the whole job. ✨

🦋 ORIGIN 🦋

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at the 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

✨ SYNOPSIS ✨

       #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, periodt.
• NameArray — the array of names. literally the name list, bestie.
• IndexArray — the array of indexes.
• Equation — the multiplexor command.
• BddHigh — the first bdd node.
• BddLow — the second bdd node.

💅 DESCRIPTION 💅

convertbddmuxabl creates this exact 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 a 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. iykyk. 🫶

🫶 RETURN VALUE 🫶

convertbddmuxabl returns a pointer to the abl expression translated. that's it, that's the return value — pointer-to-abl-expression realness. 💅

🍓 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 ⭐

go check out bdd(1) and abl(1), bestie. 👑

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory.

We need your feedback to improve documentation and tools. fr fr, they said it themselves. 🙈

later bestie — this CONVERTBDDMUXABL(3) page came from ASIM/LIP6, dated October 1, 1997, and that's the whole vibe. 🎀💖