DECBDDREFINT(3)

okay so this is DECBDDREFINT(3), from the BDD FUNCTIONS manual, and we're about to talk about decrementing the internal reference of a bdd node. Bestie, it's giving tiny-but-important 🔥

💖 NAME 💖

decbddrefint — decrements the internal reference of a bdd node. That's the whole name, no cap 💅

🌸 ORIGIN 🌸

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Universit� Pierre and Marie CURIE, in Paris, France. Slay.

• 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. Yes, that one, bestie 🫶

🦋 DESCRIPTION 🦋

decbddrefint decrements the number of internal reference of the bdd node BddNode. That's it. That's the vibe. 💅

💅 RETURN VALUE 💅

decbddrefint returns the BddNode pointer. It's giving return-the-pointer energy ✨

😭 ERRORS 😭

If the node doesn't have a positive number of internal reference, you get:

"negative reference, index xxx error !"

The BddNode must have a positive number of internal reference. No cap 🫶

🔥 EXAMPLE 🔥

Okay bestie, here's the example exactly as it lives in the manual — don't let the pointer casts scare you, they're just doing their thing 💖

#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 ALSO ⭐

• bdd(1) — literally go see it, bestie 🌈

🫶 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 if you've got notes, send them — they're literally asking 🫶

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