SATISFYBDDNODE(3)

💖 SATISFYBDDNODE 💖 (that's section 3 of the manual, bestie)

okay so we're doing satisfybddnode today and honestly? iconic behaviour from a BDD function. this is a BDD FUNCTIONS situation and it is literally about finding a satisfying path through a bdd node. let's get into it 🦋

---

✨ NAME ✨

satisfybddnode — finds a satisfying path for a bdd node.

---

🌸 ORIGIN 🌸

bestie 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. like, Paris. the main character city. 👑

Web : http://asim.lip6.fr/recherche/alliance/

E-mail : alliance-users@asim.lip6.fr

---

🎀 SYNOPSIS 🎀

#include "bdd101.h"
bddnode ∗satisfybddnode( BddSystem, BddNode )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;

---

💅 PARAMETERS 💅

• BddSystem — the bdd system. yes that's it, that's the whole vibe.
• BddNode — the bdd node. the one we're gonna go strolling through.

---

🌈 DESCRIPTION 🌈

so satisfybddnode finds a simple path throw the bdd BddNode that reaches the constant bdd node one, in the bdd system BddSystem. (yes, the original says "throw" and honestly we respect the typo era 💀)

and here's the little treat: if a null pointer is given, the default bdd system is used. no cap. so you can just pass a big fat zero and it'll pick the default for you 🫶

---

⭐ RETURN VALUE ⭐

satisfybddnode returns a bdd node that satisfies BddNode. slay.

---

🔥 ERRORS 🔥

• "index xxx out of range, error !" — the BddNode parameter must be different from the bdd node zero. periodt. so do not come in here with bdd node zero, it will not end well for you 💀

---

🦋 EXAMPLE 🦋

okay here's the whole little demo, verbatim, do not touch the code bestie:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   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 );
   BddNode = satisfybddnode( (bddsystem ∗)0, BddNode );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays  i0 */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

notice the /* displays i0 */ comment — that's the whole payoff, the satisfying path lands on i0 🎀

---

👑 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. fr fr, they're asking. send the feedback. it's giving community service and it's giving slay. 💜

---

okay that's the page!! this one came from ASIM/LIP6, dated October 1, 1997 (vintage ✨), and it lives in section SATISFYBDDNODE(3) of the manual. go find your satisfying path bestie, ily, bye 💖🎀🦋