SETBDDREFEXT(3)

✨ SETBDDREFEXT ✨

okay bestie, so this is a page from the BDD FUNCTIONS manual, section 3 of the Unix manual pages — yes, the SETBDDREFEXT(3) one, that's her 💅. She's a tiny little function with one job and she does it flawlessly, and honestly? we're obsessed 🫶

---

🌸 NAME 🌸

setbddrefext — increments the external reference, and decrements the internal reference of a bdd node. that's it. that's the whole personality. and she ate 💖

---

🧚 ORIGIN 🧚

bestie this software belongs to the ALLIANCE CAD SYSTEM, which was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷✨ iconic academic lineage fr fr.

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

---

💜 SYNOPSIS 💜

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

---

🎀 PARAMETERS 🎀

• BddNode — the bdd node. yeah that's it. she's the one and only argument, the main character of this whole operation 👑

---

🌈 DESCRIPTION 🌈

so here's the tea ☕: setbddrefext increments the number of external reference of the bdd node BddNode and decrements its number of internal reference.

that's the whole vibe. one goes up, one goes down, the balance of the universe is maintained ✨ it's giving conservation of energy but make it bdd nodes 💫

---

⭐ RETURN VALUE ⭐

setbddrefext returns the BddNode pointer. same node, hands it right back to you like "here you go bestie, she's all yours" 🫶

---

💀 ERRORS 💀

"negative reference, index xxx error !"

not me getting a whole error message 😭 — the BddNode must have a positive number of internal reference. like, she needs to have something to decrement, otherwise it's chaos, and the function is NOT about that life. respect the internal ref count, bestie 🙈

---

🔥 EXAMPLE 🔥

lowkey this is a whole journey, buckle up 🦋

#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 );
   setbddrefext( 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 bumps the internal ref with incbddrefint( BddNode ) first, and then setbddrefext( BddNode ) swoops in to flip the counts? that's the move 💅 note the comments in there too — they show exactly what gets displayed, REF_EXT: 1 and REF_INT: 0, and (not i0) for the VHDL view. no cap, that's literally what it prints 👑

---

👑 SEE ALSO 👑

• bdd(1)

---

🍓 BUG REPORT 🍓

bestie this tool is under development at the ASIM department of the LIP6 laboratory (she's a work in progress, we stan growth 🌱). they need your feedback to improve documentation and tools — so like, if something's off, tell them fr fr, they're literally asking 🙏

---

and that's the whole page, mwah 💋 this one came from ASIM/LIP6, dated October 1, 1997, and she lives at SETBDDREFEXT(3) in the manual. oldie but a goodie, periodt ✨🎀🦋