CONVERTBDDNODESUMABL(3)

💖 CONVERTBDDNODESUMABL(3) 💖

okay bestie, welcome to a page from the BDD FUNCTIONS manual, and today's main character is convertbddnodesumabl — yes, that mouthful, say it with your chest 💅

---

✨ NAME ✨

convertbddnodesumabl — converts a bdd node to an abl expression. that's it, that's the whole job, no notes 🔥

---

🌸 ORIGIN 🌸

so 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 🇫🇷 (oui oui, iconic behavior)

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

---

🦋 SYNOPSIS 🦋

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

look at her. four args. she's serving, she's doing her little thing, she's converting 💅

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. that's her home base, her vibe check origin point 🏠
• NameArray — the array of names. the lil name tag section ✨
• IndexArray — the array of indexes. the lil number section 🧮
• BddNode — the bdd node to convert. the girl herself, the one we're translating 👑

---

💜 DESCRIPTION 💜

okay so convertbddnodesumabl converts the bdd node into a non optimal abl expression, inside the bdd system BddSystem. non optimal!! she said it herself, don't come for her, it's not that kind of function 🫶

if a null pointer is given, the default bdd system is used. lowkey convenient.

the NameArray and IndexArray parameters are there to translate the variable nodes into atomic expressions. so:

• 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 🔗

and here's the lil plot twist: 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. like, it just keeps going in order. no cap ✨

---

🌈 RETURN VALUE 🌈

convertbddnodesumabl returns a pointer to the abl expression translated. she gives you back the translation, periodt 💖

---

⭐ 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 = convertbddnodesumabl( BddSystem, NameArray, (bddindex ∗)0,  BddNode );
   /* displays i0 */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );

not the /* displays i0 */ comment carrying the whole plot 🥹 she creates the system, adds a bdd var last, allocs the name "i0", converts, views it in ABL_VIEW_VHDL, frees the expression, destroys the system. clean girl routine. no leaks, we love to see it 💅✨

---

👑 SEE ALSO 👑

• bdd(1)
• abl(1)

go read those too bestie, iykyk 📚

---

💀 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're literally asking, so tell them 🫶

---

and that's the page!! shoutout to ASIM/LIP6 for this one, dated October 1, 1997 — a vintage queen serving us bdd-to-abl realness since the 90s 💖✨🎀 no cap, slay, bye bestie 🦋