INCBDDREFEXT(3)

💖 NAME 💖

okay so bestie, welcome to incbddrefext(3) — yes, that's the BDD FUNCTIONS manual page, and we're about to make external reference increments make sense. incbddrefext — increments the external 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 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 ∗incbddrefext( BddNode )
  bddnode ∗BddNode;

🎀 PARAMETERS 🎀

• BddNode — the bdd node. That's the whole parameter, bestie, no extra homework.

💅 DESCRIPTION 💅

incbddrefext increments the number of external reference of the bdd node BddNode. It's literally the "bump the external ref" function, and that's the vibe. No cap.

🦋 RETURN VALUE 🦋

incbddrefext returns the BddNode pointer. That's the return, bestie — the same pointer, slaying its way back to you.

🔥 EXAMPLE 🔥

okay so here's the example, and yes we're keeping every line because it's iconic:

#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 );
   incbddrefext( BddNode );
   /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 2  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) — yes bestie, go look at that one too, 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. fr fr, they want your feedback.

with love from ASIM/LIP6, dated October 1, 1997 — and that's the incbddrefext(3) page, mwah 💋✨