ADDBDDCIRCUITABL(3)

✨ ADDBDDCIRCUITABL ✨

okay bestie, we're in the addbddcircuitabl page of the manual — section 3, the BDD FUNCTIONS era 💅. yes this is the one that takes an abl expression and turns it into a bdd node. iconic behaviour honestly.

---

🌸 ORIGIN 🌸

so this software belongs to the ALLIANCE CAD SYSTEM, which was built by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷🫶. very chic, very academic, very much the main character energy of 90s EDA.

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

---

🦋 SYNOPSIS 🦋

#include "bdd101.h"
bddnode ∗addbddcircuitabl( BddCircuit, Expr )
  bddcircuit ∗BddCircuit;
  chain_list ∗Expr;

---

🎀 PARAMETERS 🎀

• BddCircuit — the bdd circuit, bestie. literally the whole circuit vibe.
• Expr — the expression we're converting. the lil glow-up subject.

---

💖 DESCRIPTION 💖

addbddcircuitabl converts the abl expression Expr into a bdd node. that's the whole job, and it ate 🔥.

BddCircuit is what gets used to translate the atomic expressions into variable nodes. and if you hand it a null pointer? no worries, it just uses the default bdd circuit. slay, defaults.

now here's the lil plot twist 👀 — if an atomic expression doesn't appear in the BddCircuit input names hash table or the output names hash table, then addbddcircuitabl goes and adds a new input by calling the function addbddcircuitin with the BDD_IN_MODE_LAST mode. it just does it. unbothered. periodt.

---

⭐ RETURN VALUE ⭐

addbddcircuitabl returns a pointer to the bdd node it translated. that's your gift back 🎁

---

💀 ERRORS 💀

• "bad operator xxx error !" — yeah so the Expr parameter must be a well defined abl expression. if it's not… this is what you get. no cap, don't test it.

---

🌈 EXAMPLE 🌈

here's the whole thing in action, literally copy-paste-able:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   Expr = createablbinexpr( ABL_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays (i0 and i1) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

note the /* displays (i0 and i1) */ comment up there — that's what it shows you. cute, right? 🍓

---

🧚 SEE ALSO 🧚

• bdd(1)
• abl(1)
• convertbddcircuitabl(3)

iykyk, go read those next 💜

---

🫶 BUG REPORT 🫶

so this tool is still under development at the ASIM department of the LIP6 laboratory. they need your feedback to improve the documentation and the tools — so like, pls speak up, your input is valid and wanted 🙈✨

---

and that's a wrap bestie!! this page is from the ASIM/LIP6 girlies, dated October 1, 1997 — yes, an actual vintage icon 👑🦋. go build something gorgeous with your bdd nodes. mwah 💅