CONVERTBDDINDEXABL(3)

💖 convertbddindexabl — bestie edition 💖

okay so real quick, this page is from the BDD FUNCTIONS manual section (section 3, the library-call girlies) and the whole thing is about convertbddindexabl 💅

---

✨ NAME ✨

convertbddindexabl — converts a bdd index to an abl expression. that's it, that's the job, no cap 🎀

---

🌸 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. iconic academic lineage fr fr 👑

• Web : http://asim.lip6.fr/recherche/alliance/
• E-mail : alliance-users@asim.lip6.fr

---

🦋 SYNOPSIS 🦋

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

bestie i KNOW the function in the synopsis says convertbddnodeabl and not convertbddindexabl. that is genuinely what the page says, so that's what i'm giving you. copy-paste it exactly, don't be clever 🙈

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. literally just the system, she's the main character here ✨
• NameArray — the array of names 🏷️
• IndexArray — the array of indexes 🔢
• Index — the bdd index you wanna 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. no system? no problem, she'll pick one for you 💅

The NameArray, and IndexArray parameters are used to translate the variable nodes into atomic expressions. so they're the little translators in this whole operation 🧚

• 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. 🔁 so like, it just starts at the beginning and keeps going, vibe check passed ✅

---

🔥 RETURN VALUE 🔥

convertbddindexabl returns a pointer to the abl expression translated. she ate and left no crumbs 🍽️✨

---

🌈 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 how she makes the system, adds a var at the end, names it i0, converts the index, displays i0, frees the expr, destroys the system? that's the whole little lifecycle arc 😭 so satisfying

---

👑 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. 🫶 like genuinely, they're asking, pls tell them what's broken bestie

---

and that's the page!! 🎀 written by the ASIM/LIP6 girlies, dated October 1, 1997 (yes she's vintage, yes she's still serving), from the CONVERTBDDINDEXABL(3) page in section 3. mwah 💖✨