SATISFYBDDNODE(3)

okay bestie, welcome to SATISFYBDDNODE(3) 💖 — yep, that's the satisfybddnode page, hanging out in the BDD FUNCTIONS manual, section 3. It's giving C library fairy godmother energy, and we're gonna get you through it. ✨

✨ NAME ✨

satisfybddnode — finds a satisfying path for a bdd node. That's the whole name section, short and iconic. 💅

🌍 ORIGIN 🌍

okay so the lore: 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. Oui oui, Paris. 🥐

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

🧾 SYNOPSIS 🧾

Here's the signature, bestie — copied exactly, ∗ and all:

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

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. Like, the whole bdd world this node lives in. 🌍
• BddNode — the bdd node. The one we're trying to satisfy. 💅

💅 DESCRIPTION 💅

okay so satisfybddnode finds a simple path through the bdd BddNode that reaches the constant bdd node one, in the bdd system BddSystem. If you give it a null pointer, it uses the default bdd system. No cap, that's the default behavior. ✨

🔥 RETURN VALUE 🔥

satisfybddnode returns a bdd node that satisfies BddNode. That's it — the return value is literally a bdd node that satisfies the node you passed in. Slay. 💅

😭 ERRORS 😭

If BddNode is the bdd node zero, you get this error message:

"index xxx out of range, error !"

So the BddNode parameter must be different from the bdd node zero. Like, do not pass zero, bestie. That's the rule. 🚫

🌸 EXAMPLE 🌸

Here's the example from the page, exact and ready to vibe:

#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 comment says it displays i0; that's the flex. 💖

👑 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 — yes, that's literally the ask. So like, if you find a bug or a docs typo, tell them. 💌

peace out and happy path-finding, bestie 💖 — this page is from ASIM/LIP6, dated October 1, 1997. 🎀