SUBSTBDDNODEASSOC(3)

✨ SUBSTBDDNODEASSOC(3) — the BDD functions era ✨

okay so bestie, we're deep in the BDD FUNCTIONS part of the SUBSTBDDNODEASSOC(3) manual page and honestly? this one is kind of a serve 💅 it's a C function, it's got pointers, it's got a whole example program — buckle up 🎀

---

🌸 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. 🇫🇷✨

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

like, real ones know 😌

---

🦋 SYNOPSIS 🦋

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

no cap, that's the whole signature 🫶

---

💖 PARAMETERS 💖

• BddSystem — the bdd system. yep. that's the vibe.
• BddNode — the bdd node to treat. this is the main character we're doing surgery on 🔥
• BddAssoc — the variable association. the lil lookup table of who becomes what 👑

---

🌈 DESCRIPTION 🌈

so substbddnodeassoc substitutes, in the bdd node BddNode, all the variables associated to something in the variable association BddAssoc, with the corresponding bdd node, in the bdd system BddSystem. 💫

and here's the lil plot twist: if a null pointer is given, the default bdd system is used. the way that's just the fallback bestie 😭🫶

---

⭐ RETURN VALUE ⭐

substbddnodeassoc returns the computed bdd node. that's it, that's the return. iconic behavior ngl 👑

---

🎀 ERRORS 🎀

• "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 bestie 🚧
• "bad variable association xxx, error !" — The BddAssoc parameter must a valid variable association. (yes, that's the original wording, fr fr — we don't fix it, we respect it 💀)

⚠️ lowkey important: hit either of these and you get an error, so double-check your variable index against BddSystem->NUMBER_VAR and make sure BddAssoc is actually a valid variable association. no vibes-only debugging 🙈

---

🧚 EXAMPLE 🧚

this is the whole thing, character for character, do not touch 🔒

#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 bestie, notice the comment in there — it displays ((i3 or i2) and i1) — that's the payoff, that's the moment 💅✨

---

🔍 SEE ALSO 🔍

• bdd(1) — go read it, 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.

so like... send feedback?? they're literally asking 🥺🫶 it's giving collaborative open source energy and we love that for them.

---

🌟 that's the page!! go substitute some variables, bestie, you got this 💜

ASIM/LIP6 · October 1, 1997 · mwah 💋 this lil rewrite was brought to you by the SUBSTBDDNODEASSOC(3) era of BDD functions, and honestly? a moment in history 🎀✨