DELBDDNODE(3)

💅 DELBDDNODE(3) — a lil' page from the BDD FUNCTIONS girlies

okay so bestie, welcome to delbddnode — it's a C function from the BDD FUNCTIONS family, and today we're gonna learn how to yeet an unused bdd node into the void 🗑️✨

🌸 ORIGIN 🌸

so this software belongs to 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 🇫🇷🥖 (yes, that Paris, the main character city)

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

✨ SYNOPSIS ✨

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

🎀 PARAMETERS 🎀

• BddSystem — the bdd system, obvi. it's the whole vibe.
• BddNode — the bdd node itself. the little guy we're deleting.

💖 DESCRIPTION 💖

okay so here's the tea ☕ — delbddnode tries to delete the bdd node BddNode and its children, but only if they don't have external references, all inside the bdd system BddSystem. key word: tries. it's giving "I'll do my best" energy.

if you hand it a null pointer, it just uses the default bdd system instead — no cap, that's the fallback. 🫶

⚠️ and now for the serious part, bestie: the use of this function is not recommended, because it takes time. 😭 like, it's slow. it's highkey not the move. instead, the better glow-up is to call the decbddrefext function, and then do a garbage collection with the garbagebddsystem function. periodt. that's the way. 💅

🦋 RETURN VALUE 🦋

delbddnode returns nothing. literally. void. it does the thing and leaves. no receipts, no notes. 💀

🌈 EXAMPLE 🌈

here's the whole vibe in action, copy-paste blessed:

#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? that's what you get, and it ate. 🔥

👑 SEE ALSO 👑

• bdd(1) — go read it, bestie, iykyk 📚

🐛 BUG REPORT 🐛

this tool is under development at the ASIM department of the LIP6 laboratory 🛠️ — so yeah, it's a work in progress, be nice to it.

they need your feedback to improve documentation and tools! so if something's weird, say something. we love a feedback loop 💌✨

🌸 that's the whole page, babe — brought to you by ASIM/LIP6, dated October 1, 1997 (yes she's an icon, she's been iconic since the 90s 💜). now go forth and don't use delbddnode unless you have to, mwah 🫶💅