SIMPBDDNODEDCON(3)

💅 SIMPBDDNODEDCON(3) — the simpbddnodedcon glow-up era ✨

okay so bestie, welcome to SIMPBDDNODEDCON(3), a page straight out of the BDD FUNCTIONS manual. she's a libc-style page for the ALLIANCE CAD SYSTEM, and she is lowkey iconic. let's get into it 🎀

---

✨ NAME ✨

simpbddnodedcon — simplifies a bdd with don't cares on its on-set part. that's it. that's the whole gig 💅

---

🦋 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. very main character, very "i was built in a lab in paris" energy 🇫🇷✨

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

like, the lore is right there, go read it 🫶

---

🌸 SYNOPSIS 🌸

the whole vibe, verbatim:

#include "bdd101.h"
bddnode *simpbddnodedcon( BddSystem, BddOn, BddDc )
  bddsystem *BddSystem;
  bddnode   *BddOn;
  bddnode   *BddDc;

three nodes walk into a function. no cap. 🔥

---

💖 PARAMETERS 💖

• BddSystem — the bdd system. your whole little universe of nodes.
• BddOn — the first bdd node. this is the one getting the makeover ✨
• BddDc — the second bdd node. the "don't care" bestie doing the simplifying.

---

👑 DESCRIPTION 👑

simpbddnodedcon simplifies the bdd node BddOn with BddDc, in the bdd system BddSystem.

if a null pointer is given, the default bdd system is used — she's flexible like that 💅

⚠️ okay this is the important part, do not skip: the bdd node BddDc must be included imperatively in the on-set part of the bdd node BddOn. like, literally mandatory. not a suggestion. not a vibe. imperative. periodt. 🚨

---

⭐ RETURN VALUE ⭐

simpbddnodedcon returns the simplified bdd node. she gives back, she's generous 🎁

---

🌈 EXAMPLE 🌈

here's the whole thing as-is, no edits, she's perfect:

#include "bdd101.h"
   bddsystem  *BddSystem;
   bddcircuit *BddCircuit;
   bddnode    *BddOn;
   bddnode    *BddDc;
   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" ) );
   BddOn = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = createablbinexpr( ABL_NOR,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddDc = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddNode = simpbddnodedcon( (bddsystem *)0, BddOn, BddDc );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays '1' */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem *)0 );
   destroybddcircuit( (bddcircuit *)0 );

note the little /* displays '1' */ in there — yes bestie, that's the flex. it literally displays '1'. ate. 🔥

---

🧚 SEE ALSO 🧚

• bdd(1) — go read it, iykyk 💜

---

🙈 BUG REPORT 🙈

this tool is under development at the ASIM department of the LIP6 laboratory.

they need your feedback to improve documentation and tools — so like, if something's giving broken, tell them, fr fr 🫶

---

okay and that's the page!! brought to you by ASIM/LIP6, dated October 1, 1997 (yeah, she's vintage, she's a classic, she's got range 💀), filed under SIMPBDDNODEDCON(3). mwah 💋✨