SUBSTBDDNODEASSOC(3)

💖 substbddnodeassoc — the bdd glow-up page 💖

okay bestie, sit down, hydrate, and let me tell you about substbddnodeassoc, a real one from the BDD FUNCTIONS section of the manual (section 3, we're fancy like that). no cap, this is the function that swaps your variables out for whole entire bdd nodes. it's giving substitution but make it iconic. 💅

---

✨ NAME ✨

substbddnodeassoc — substitutes a set of variables with a set of bdd node.

yes. that's the whole name. short, sweet, ate. 🌸

---

🎀 ORIGIN 🎀

so this software? it belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. 🇫🇷 like, actual Paris. main character laboratory energy.

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

🦋

---

🌈 SYNOPSIS 🌈

lowkey the vibe check of the whole page, here it is, verbatim, don't @ me:

#include "bdd101.h"
bddnode ∗substbddnodeassoc( BddSystem, BddNode, BddAssoc )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;
  bddassoc  ∗BddAssoc;

---

💜 PARAMETERS 💜

three little inputs, three little besties:

• BddSystem — the bdd system. that's it, that's the whole description. the system of the bdd variety. 🫶
• BddNode — the bdd node to treat. yes, we are treating it. it deserves it. ✨
• BddAssoc — the variable association. the lil matchmaking list of variables and what they're linked to. 💌

---

👑 DESCRIPTION 👑

okay so here's the tea, and it's actually really good tea: substbddnodeassoc substitutes, in the bdd node BddNode, all the variables that are associated to something in the variable association BddAssoc — and it swaps each one out with the corresponding bdd node. all of this happens inside the bdd system BddSystem. 🔥

and listen, if you hand it a null pointer? no drama. it just uses the default bdd system. bestie is flexible, we love that for her. 💅

---

⭐ RETURN VALUE ⭐

substbddnodeassoc returns the computed bdd node. that's the whole thing. it gives you the node. you say thank you. the end. 🎀

---

💀 ERRORS 💀

things can go sideways, and here's exactly how, quoted for accuracy because we do not paraphrase errors in this house:

• "variable xxx out of range, error !" the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. so like, stay in your lane, variable. 🚫
• "bad variable association xxx, error !" the BddAssoc parameter must a valid variable association. (that's literally what the page says, we're keeping it fr fr.) so make sure your association is actually valid before you come for this function. 🙈

---

🍓 EXAMPLE 🍓

here's a whole entire example, and yes, we're keeping every single character because it's iconic:

#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 );

see that comment in there? /* displays ((i3 or i2) and i1) */ — that's the payoff, that's the plot twist, that's the moment. the function did that. 🫶✨

---

🌸 SEE ALSO 🌸

• bdd(1)

go read it, bestie, iykyk. 📚

---

🙈 BUG REPORT 🙈

so this tool is under development at the ASIM department of the LIP6 laboratory. (not me telling you it's still cooking 😭)

and fr fr: they need your feedback to improve documentation and tools. so if something's weird, say something. your girl loves a group chat. 💌

---

⚠️ gentle reminder bestie: the errors above are quoted exactly as written, and the parameter rules are real rules — Variable must be less or equal to the BddSystem->NUMBER_VAR field, and BddAssoc must be a valid variable association. don't skip the vibe check on your inputs. 💅

---

and that's the page! brought to you by ASIM/LIP6, dated October 1, 1997, living in the SUBSTBDDNODEASSOC(3) era. mwah. slay. periodt. 💖✨🎀🦋🌸