RESTRICTBDDNODE(3)

💅 RESTRICTBDDNODE(3) 💅

ok so this is a section-3 manpage from BDD FUNCTIONS and honestly? it's a little baddie. it swaps a variable out for a zero or a one inside a bdd. let's get into it bestie 🫶

---

✨ NAME ✨

restrictbddnode — substitutes a variable by a zero or one, in a bdd.

---

🌸 ORIGIN 🌸

ok so this software belongs to the ALLIANCE CAD SYSTEM, which was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. iconic lineage tbh 🇫🇷✨

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

like if u need to reach them, that's how 💌

---

🎀 SYNOPSIS 🎀

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

---

🦋 PARAMETERS 🦋

• BddSystem — the bdd system. ur whole lil universe of nodes lives here.
• BddNode — the bdd node. the one we're doing surgery on 🔪
• Variable — the variable to find. we're hunting for this one, bestie.
• BddSubst — the bdd to substitute with. what we're swapping it out for.

---

💖 DESCRIPTION 💖

so restrictbddnode substitutes all the occurency of the variable Variable in the bdd node BddNode by the bdd node BddSubst, in the bdd system BddSystem. it's giving find-and-replace but make it ✨boolean algebra✨

if a null pointer is given, the default bdd system is used. convenient, no cap.

🚨 important vibe check: the BddSubst must be the node BddSystem->ONE or BddSystem->ZERO. like. those are the only two options. don't try anything else, we're not doing that today 🙈

---

⭐ RETURN VALUE ⭐

restrictbddnode returns the resulting bdd node. that's the glow-up version of what you passed in 💫

---

💀 ERRORS 💀

• "variable xxx out of range, error !" — the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. stay in ur lane, variable.
• "index xxx out of range, error !" — the BddSubst parameter must have its index less than BDD_INDEX_MIN. out of bounds = not the move 😭

---

🔥 EXAMPLE 🔥

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

#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_OR,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddSubst = BddSystem->ONE;
   BddVariable = searchbddcircuitin( (bddcircuit ∗)0, "i0" );
   Variable = getbddvarbyindex( (bddsystem ∗)0, BddVariable->INDEX );
   BddNode = restrictbddnode( (bddsystem ∗)0, BddNode, Variable, BddSubst );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays '1' */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

and yeah, the /* displays '1' */ comment is real — that's the actual output. ate and left no crumbs 💅

---

👑 SEE ALSO 👑

bdd(1)

---

🌈 BUG REPORT 🌈

this tool is under development at the ASIM department of the LIP6 laboratory. they literally say: we need your feedback to improve documentation and tools. so like… spill, bestie 🍓

---

that's the whole page!! mwah 💖

ASIM/LIP6 · October 1, 1997 · RESTRICTBDDNODE(3) — ok that's a wrap, go restrict some nodes responsibly 🧚‍♀️✨