DECBDDREFINT(3)

💖 DECBDDREFINT(3) — BDD FUNCTIONS 💖

okay bestie, welcome to the BDD FUNCTIONS section of the manual, page 3, and today's main character is decbddrefint. buckle up, it's a short one but she's important 🎀

---

✨ NAME ✨

decbddrefint — decrements the internal reference of a bdd node. that's it. that's the whole vibe. she takes a ref count down by one, no cap 💅

---

🌸 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. Paris!! the iconique-est of labs, we love to see it 🇫🇷✨

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

---

🦋 SYNOPSIS 🦋

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

---

🎀 PARAMETERS 🎀

• BddNode — the bdd node. that's the one. the girl. the node we're about to un-reference 🫶

---

💜 DESCRIPTION 💜

decbddrefint decrements the number of internal reference of the bdd node BddNode.

so like, the node's internal ref count goes down by one. that's the whole plot of this episode. lowkey simple, highkey essential 🧚

---

⭐ RETURN VALUE ⭐

decbddrefint returns the BddNode pointer. she gives you the node right back, like "here bestie, same node, different ref count" 💫

---

💀 ERRORS 💀

• "negative reference, index xxx error !" — The BddNode must have a positive number of internal reference.

fr fr, if you try to decrement a node that's already sitting at zero internal refs, she WILL call you out. don't do it. the error message is not a suggestion 😭

---

🌈 EXAMPLE 🌈

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

see how she does incbddrefint first and then decbddrefint? balance, babes. ✨ and notice the REF_INT: 0 in the comment — that's her whole job, right there on display 👑

---

👑 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.

bestie they are literally asking for your feedback. slide into their inbox, they're begging (politely) 🙈💖

---

ASIM/LIP6 · October 1, 1997 · DECBDDREFINT(3)

and that's the whole page, bestie — written by the LIP6/ASIM girlies back on October 1, 1997, still serving BDD realness to this very day. mwah 💅✨🫶