COMPOSEBDDNODE(3)

💖 COMPOSEBDDNODE — the composebddnode(3) glow-up 💖

okay bestie, sit down, hydrate, and let me tell you about a little function from the BDD FUNCTIONS corner of the manual. her name is composebddnode and she is, lowkey, the plug for variable substitution. 🦋

---

🌸 NAME 🌸

composebddnode — substitutes a variable by a bdd in another bdd.

like. she swaps a variable out and drops a whole bdd in its place. iconic behavior honestly. 💅

---

🌈 ORIGIN 🌈

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the 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

ngl, Paris LIP6 team really said "we're building CAD tooling" and then did exactly that. periodt.

---

✨ SYNOPSIS ✨

#include "bdd101.h"
bddnode ∗composebddnode( BddSystem, BddNode, Variable, BddSubst )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;
  bddvar     Variable;
  bddnode   ∗BddSubst;

four args, one bdd node back, no cap. 🫶

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. the whole vibe container.
• BddNode — the bdd node. the main character we're editing.
• Variable — the variable to find. the one we're hunting for, fr fr.
• BddSubst — the bdd to substitute with. the replacement glow-up.

---

💜 DESCRIPTION 💜

composebddnode substitutes all the occurency of the variable Variable in the bdd node BddNode by the bdd node BddSubst, in the bdd system BddSystem.

so basically: every single time Variable shows up in BddNode? gone. replaced. swapped for BddSubst. the way that it just does the whole thing in one call is giving efficiency. 💅

and listen — if a null pointer is given, the default bdd system is used. convenient? yes. ✨

---

👑 RETURN VALUE 👑

composebddnode returns the resulting bdd node.

that's it, that's the return. she gives you back the new node and you say thank you. 🙈

---

💀 ERRORS 💀

"variable xxx out of range, error !" The Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field.

okay so this one matters: keep your Variable less or equal to BddSystem->NUMBER_VAR. go over it and the function is gonna yell that exact string at you. not me finding out the hard way. 😭

---

🔥 EXAMPLE 🔥

here's the whole thing in action, bestie. copy it, run it, live your truth:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddVariable;
   bddnode    ∗BddNode;
   bddnode    ∗BddSubst;
   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 );
   BddNode = composebddnode( (bddsystem ∗)0, BddNode, Variable, BddSubst );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays (i1 and (i2 or i3)) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

and yes, that comment line is the receipts — it displays (i1 and (i2 or i3)). i0 got fully replaced by (i2 or i3), and what's left is i1 hanging out with the substitute. ate. 🔥

---

🧚 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. tell them things. they're literally asking. be the feedback you wanna see in the world. 🫶

---

and that's the whole page, bestie!! 💖✨🎀🦋🌸💅

this lil gem is from ASIM/LIP6, dated October 1, 1997, and it lives in section COMPOSEBDDNODE(3) — go forth and compose responsibly. 👑💜