INCBDDREFINT(3)

🎀 NAME 🎀

okay so bestie, welcome to INCBDDREFINT(3) — that's this page, and it lives in the BDD FUNCTIONS manual. The function is incbddrefint, and it increments the internal reference of a bdd node. That's the whole name section, 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. ✨

Web: http://asim.lip6.fr/recherche/alliance/

E-mail: alliance-users@asim.lip6.fr

🦋 SYNOPSIS 🦋

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

🍓 PARAMETERS 🍓

• BddNode — the bdd node. That's the parameter, bestie. 🫶

💖 DESCRIPTION 💖

incbddrefint increments the number of internal reference of the bdd node BddNode. It's giving "bump the internal ref" energy, and that's literally what it does. ✨

👑 RETURN VALUE 👑

incbddrefint returns the BddNode pointer. Yep, it hands the pointer right back to you, bestie. 💅

🔥 EXAMPLE 🔥

Here's the example, copied exactly because we do not play with code accuracy:

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

🌸 SEE ALSO 🌸

bdd(1) — go read that one too, bestie. 🦋

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. They need your feedback to improve documentation and tools. So like, if you see something, say something, fr fr. 😭

big kiss from ASIM/LIP6, dated October 1, 1997 — that's the source/version and date sign-off, bestie 💖