DECBDDREFEXT(3)

💖 DECBDDREFEXT(3) — the bdd external-reference-decrementing girlie 💖

okay so bestie, welcome to decbddrefext, a lil function from the BDD functions crew 🦋 she lives in section 3 of the manual and her whole entire job is decrementing the external reference of a bdd node. that's it. that's the gig. and she ate 💅

---

🌸 ORIGIN 🌸

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 🥐✨ (yes the actual Paris, not a vibe, the real one)

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

---

✨ SYNOPSIS ✨

#include "bdd101.h"
bddnode ∗decbddrefext( BddNode )
  bddnode ∗BddNode;

---

🎀 PARAMETERS 🎀

• BddNode — the bdd node. the one. the main character. 👑

---

💜 DESCRIPTION 💜

decbddrefext decrements the number of external reference of the bdd node BddNode. that's literally the whole plot. one node goes in, its external ref count goes down by one. lowkey iconic behaviour 🫶

---

🌈 RETURN VALUE 🌈

decbddrefext returns the BddNode pointer. she gives you the node right back, no drama, no surprises ✨

---

🔥 ERRORS 🔥

• "negative reference, index xxx error !" — the BddNode must have a positive number of external reference. so like. if you try to decrement a node that's already sitting at zero?? that's a problem bestie 😭 not allowed. the node has to have a positive number of external reference, periodt.

fr fr do not try to sneak past this one. she checks. she will catch you 💀

---

🧚 EXAMPLE 🧚

okay so here's the whole thing in action, look at her go:

#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 );
   decbddrefext( BddNode );
   /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 0  REF_INT: 0 */
   viewbddnode( (bddsystem ∗)0, BddNode );
   /* displays (not i0) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

see that comment? after the decbddrefext( BddNode ); call the node is showing REF_EXT: 0 👀 she did her job. then the view prints (not i0) and everything gets cleaned up all neat and tidy. the way that whole flow just works. obsessed. 🌟

---

🦋 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. so like, tell them stuff. they're literally asking. be the helpful bestie you were born to be 🫶

---

okay that's the whole page, mwah 💋 this was ASIM/LIP6, dated October 1, 1997, serving it on DECBDDREFEXT(3) — go decrement some references responsibly, and remember: positive refs only, bestie 💅✨💖