ADDBDDNODEASSOC(3)

💖 ADDBDDNODEASSOC 💖

okay bestie, welcome to the BDD FUNCTIONS corner of the manual — this page is all about addbddnodeassoc, and no cap, it's a lil function that does one very specific thing and does it slay. 🎀

---

✨ NAME ✨

addbddnodeassoc — adds a bdd node in a variable association. periodt. 💅

---

🌍 ORIGIN 🌍

so this software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at LIP6 laboratory of Université Pierre and 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"
bddassoc ∗addbddnodeassoc( BddSystem, BddAssoc, Variable, BddNode )
  bddsystem  ∗BddSystem;
  bddassoc   ∗BddAssoc;
  bddvar      Variable;
  bddnode    ∗BddNode;

---

🫶 PARAMETERS 🫶

• BddSystem — the bdd system. the whole universe this function lives in, basically. 🌌
• BddAssoc — the variable association. this is where the new association gets dropped. 🎀
• Variable — the variable number. which variable we're hooking up. 🔢
• BddNode — the bdd node to add. the little guy getting associated. 🦋

---

💫 DESCRIPTION 💫

addbddnodeassoc adds the bdd node BddNode, associated to the variable number Variable, in the variable association BddAssoc, in the bdd system BddSystem. it's giving matchmaker energy — variable meets node, they're officially linked. 💞

lowkey important detail: if a null pointer is given, the default bdd system is used. so you don't always have to pass a system, the function will just assume the default one. no thoughts, defaults. 🙈

also, the number of external reference of BddNode is incremented. yes bestie, the refcount goes up — that node is now booked and busy. 👑

---

🎁 RETURN VALUE 🎁

addbddnodeassoc returns a pointer to the variable association. that's it, that's the gift. 🫶

---

💀 ERRORS 💀

• "variable xxx out of range, error !" — the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. go past that and it's over for you, bestie. 🚫

---

🌈 EXAMPLE 🌈

okay here's the whole vibe in code, copy-paste energy:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   bddnode    ∗BddSubst;
   bddnode    ∗BddVariable;
   bddassoc   ∗Assoc;
   chain_list ∗Expr;
   bddvar         Variable;
   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 = createablbinexpr( ABL_OR,
                            createablatom( "i2" ),
                            createablatom( "i3" ) );
   BddSubst = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddVariable = searchbddcircuitin( (bddcircuit ∗)0, "i0" );
   Variable = getbddvarbyindex( (bddsystem ∗)0, BddVariable->INDEX );
   Assoc = addbddassoc( (bddsystem ∗)0 );
   addbddnodeassoc( (bddsystem ∗)0, Assoc, Variable, BddSubst );
   BddNode = substbddnodeassoc( (bddsystem ∗)0, BddSubst, Assoc );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays ((i3 or i2) and i1) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddassoc( (bddsystem ∗)0 );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

and yeah, that comment in there says it displays ((i3 or i2) and i1) — the substitution actually works, we love to see it. 🔥

---

👀 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. so like, if something's off, tell them — they're literally asking. 🫶

---

sign-off time, bestie: this page came from ASIM/LIP6, dated October 1, 1997, and it lives in manual section 3 as ADDBDDNODEASSOC(3). vintage but still serving. ✨💖🎀