RESTRICTBDDNODE(3)

💅 restrictbddnode(3) — the BDD FUNCTIONS era 💅

okay bestie, sit down, hydrate, because we're about to talk about restrictbddnode — she substitutes a variable by a zero or a one, in a bdd. that's the whole NAME energy. short. iconic. no notes. ✨

---

🌈 ORIGIN 🌈

so 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. yes, the Paris. 🇫🇷

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

like, go say hi, they want to hear from you fr fr 🫶

---

✨ SYNOPSIS ✨

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

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. the whole vibe container.
• BddNode — the bdd node. the main character we're operating on.
• Variable — the variable to find. we're hunting her down.
• BddSubst — the bdd to substitute with. the swap-in.

---

💖 DESCRIPTION 💖

okay so here's the tea ☕ — restrictbddnode substitutes all the occurency of the variable Variable in the bdd node BddNode by the bdd node BddSubst, in the bdd system BddSystem.

if a null pointer is given, the default bdd system is used. classic default behaviour, we love her.

⚠️ important bestie: the BddSubst must be a the node BddSystem->ONE or BddSystem->ZERO. that's it. those are the only two options. no improvising. 💀

---

🔥 RETURN VALUE 🔥

restrictbddnode returns the resulting bdd node. she ate and left no crumbs 👑

---

💀 ERRORS 💀

• "variable xxx out of range, error !" — the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. don't push her past her limits.
• "index xxx out of range, error !" — the BddSubst parameter must have its index less than BDD_INDEX_MIN.

---

🌸 EXAMPLE 🌸

here's a whole little scenario, run it and feel something:

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

see that /* displays '1' */? yeah. that's the payoff. ✨

---

🦋 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. like genuinely, please, they're asking nicely, send the feedback 🥺

---

ASIM/LIP6 · October 1, 1997 · RESTRICTBDDNODE(3)

and that's the whole page bestie, dated October 1, 1997, from ASIM/LIP6, manual section 3 — periodt 💅🎀🦋