DELBDDNODE(3)

💖 DELBDDNODE — the "bye bye, unused bdd node" function 💖

okay bestie, buckle up, we're doing delbddnode from the BDD FUNCTIONS crew 🦋 this one's a level-3 manual page and it's giving ✨niche but iconic✨

---

✨ NAME ✨

delbddnode — deletes an unused bdd node. literally what it says on the tin, no cap 💅

---

🌈 ORIGIN 🌈

okay so this software is part of the ALLIANCE CAD SYSTEM, which was developed by the ASIM team over 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, actual French academic royalty, we love to see it 👑

---

🎀 SYNOPSIS 🎀

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

---

🫶 PARAMETERS 🫶

• BddSystem — the bdd system. that's the whole vibe, it's just the system 🧚
• BddNode — the bdd node. the one and only 💜

---

🔥 DESCRIPTION 🔥

so delbddnode tries to delete the bdd node BddNode and its children, as long as they have no external reference, inside the bdd system BddSystem. it's a little family eviction, bestie 😭

if a null pointer is given, the default bdd system is used instead. convenient? yes. advisable? hmm.

⚠️ not me being the bearer of bad news but… the use of this function is not recommended, because it takes time. like, it's slow fr fr 💀

the glow-up move instead: call the decbddrefext function, and then do a garbage collection with the garbagebddsystem function. that's the main character path, periodt ✨

---

💀 RETURN VALUE 💀

delbddnode returns nothing. it's giving void energy. no receipt, no refund, no return value 🙈

---

🌸 EXAMPLE 🌸

here's the whole thing in action, copy-paste vibes:

#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 );
   BddNode = addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
   BddNode = addbddnode( (bddsystem ∗)0, BddNode->INDEX, BddNode->LOW, BddNode->HIGH );
   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
   delbddnode( (bddsystem ∗)0, decbddrefext( BddNode ) );
   /* displays (not i0) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

see that /* displays (not i0) */ comment? yeah that's the payoff, chef's kiss 👨🍳💋

---

🦋 SEE ALSO 🦋

• bdd(1)

iykyk 🎀

---

😭 BUG REPORT 😭

this tool is under development at the ASIM department of the LIP6 laboratory — so it's a work in progress bestie, be gentle 🥺

we need your feedback to improve documentation and tools. like actually, they're asking. slide into their inbox, it's the nice thing to do 💌

---

that's the whole page, you ate that 💅✨

this lil baddie comes to you from ASIM/LIP6, dated October 1, 1997 — vintage, iconic, still serving 🎀 mwah, bye bestie 💖