SETBDDREFEXT(3)

💖 NAME 💖

okay so bestie, welcome to SETBDDREFEXT(3) from the BDD FUNCTIONS crew — this one is setbddrefext, and it increments the external reference, and decrements the internal reference of a bdd node. periodt. 💅

🌍 ORIGIN 🌍

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at 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

the lore is giving very “built in a French lab and absolutely iconic,” ngl 🫶

✨ SYNOPSIS ✨

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

🎀 PARAMETERS 🎀

• BddNode — the bdd node. that’s the one, bestie. 🎀

🦋 DESCRIPTION 🦋

setbddrefext increments the number of external reference of the bdd node BddNode and decrements its number of internal reference.

like, it’s a little ref-counter glow-up: external goes up, internal goes down. slay. 🦋

💅 RETURN VALUE 💅

setbddrefext returns the BddNode pointer. that’s it, that’s the return, iconic behavior. 💅

😭 ERRORS 😭

• "negative reference, index xxx error !" — the BddNode must have a positive number of internal reference. if it doesn’t, this error pops up and ruins the whole vibe 😭

🌈 EXAMPLE 🌈

okay bestie, here’s the whole demo, exact code, no cap:

#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 );

peep the comments too — they show the display output, and yes, the whole thing is giving main character energy 🌈✨

👀 SEE ALSO 👀

• bdd(1) — go look, iykyk 👀

🫶 BUG REPORT 🫶

This tool is under development at the ASIM department of the LIP6 laboratory.

We need your feedback to improve documentation and tools.

💌 signed, sealed, delivered by ASIM/LIP6 on October 1, 1997 — this has been SETBDDREFEXT(3), mwah 💋