GETBDDNODENUM(3)

✨ NAME ✨

okay so this is getbddnodenum(3) from the BDD FUNCTIONS crew — and it literally just gets the number of nodes in a bdd 💅 that's it, that's the whole job, and she does it flawlessly.

🌸 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 🥖✨ (no cap, Paris fr fr)

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

🦋 SYNOPSIS 🦋

#include "bdd101.h"
long getbddnodenum( BddSystem, BddNode )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system, bestie. your whole little universe of nodes.
• BddNode — the bdd node. the main character we're counting around 👑

💖 DESCRIPTION 💖

so getbddnodenum computes the number of different nodes in BddNode, inside the bdd system BddSystem. it's giving census era, honestly.

and if a null pointer is given, the default bdd system is used — she'll just fall back to the default, no drama 🫶

⭐ RETURN VALUE ⭐

getbddnodenum returns the number of the different nodes reached. that's your number, that's your answer, periodt 🔥

🌈 EXAMPLE 🌈

#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 );
   Expr = createablbinexpr( ABL_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   printf( "Number nodes: %ld0,
           getbddnodenum( (bddsystem ∗)0, BddNode ) );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

ngl bestie, that last example is exactly how the original prints it — "Number nodes: %ld0, and all 😭 i'm not touching it, we stay loyal to the source 🙈

🧚 SEE ALSO 🧚

• bdd(1)

💀 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 like, pls send feedback, they're literally asking, don't leave them on read 🫶💌

and that's the whole page!! brought to you by ASIM/LIP6, dated October 1, 1997, filed under GETBDDNODENUM(3) — iconic, vintage, still slaying ⭐👑💜