SIMPBDDNODEDCOFF(3)

💅 SIMPBDDNODEDCOFF(3) — the bdd functions era, bestie

okay so this is a bdd functions man page, and no, I'm not gonna make you read the boring version. sit down, hydrate, and let's get into it 🫶

---

✨ NAME ✨

simpbddnodedcoff — literally simplifies a bdd with don't cares sitting on its off-set part. that's the whole gig. no cap.

---

🌸 ORIGIN 🌸

bestie this software has main character energy from way back — it belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷✨

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

like, the lore is real. respect the ancestors 💜

---

🎀 SYNOPSIS 🎀

#include "bdd101.h"
bddnode ∗simpbddnodedcoff( BddSystem, BddOff, BddDc )
  bddsystem ∗BddSystem;
  bddnode   ∗BddOff;
  bddnode   ∗BddDc;

yes the ∗ is doing its own thing, that's just how they wrote it back in the day, don't come for her 💅

---

🦋 PARAMETERS 🦋

• BddSystem — the bdd system. the whole vibe container, if you will 🫙
• BddOff — the first bdd node. the one getting simplified.
• BddDc — the second bdd node. the don't-care icon doing the simplifying.

---

🔥 DESCRIPTION 🔥

simpbddnodedcoff simplifies the bdd node BddOff with BddDc, inside the bdd system BddSystem. it's giving "glow-up, but make it boolean" ✨

if you hand it a null pointer, it just uses the default bdd system — lowkey convenient, honestly.

⚠️ important, fr fr: the bdd node BddDc must be included imperatively in the off-set part of the bdd node BddOff. like, that's not a suggestion, that's the assignment. do not test her.

---

💖 RETURN VALUE 💖

simpbddnodedcoff returns the simplified bdd node. slay. that's it. that's the return value 👑

---

🌈 EXAMPLE 🌈

here's the whole flex, verbatim, because I would never do you dirty by paraphrasing code:

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

okay and notice the comment in there — /* displays '1' */ — because after all that work she really does just print 1. iconic behavior honestly 🎀

---

🧚 SEE ALSO 🧚

• bdd(1) — go read it, bestie, 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 cursed, tell them. constructive vibes only, but tell them 💀🫶

---

and that's the page!! footer says ASIM/LIP6, dated October 1, 1997, and the page is SIMPBDDNODEDCOFF(3) — mwah, historical. go simplify something, bestie 💜✨