GETBDDNODESIZE(3)

💖 GETBDDNODESIZE 💖 (that's the bdd function, section 3, bestie)

okay so listen, this page is getbddnodesize from the BDD FUNCTIONS corner of the man pages and it's lowkey the cutest lil counter you've ever met 🎀

---

✨ NAME ✨

getbddnodesize — literally just tells you how many nodes are in a bdd. that's it. that's the whole job. iconic behavior honestly 👑

---

🌸 ORIGIN 🌸

bestie this software belongs to the ALLIANCE CAD SYSTEM which was developed by the ASIM team over at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷✨ (yes the whole entire city of Paris, we love that for them)

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

---

🦋 SYNOPSIS 🦋

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

---

💅 PARAMETERS 💅

• BddSystem — the bdd system. the whole vibe container. the main character 🫶
• BddNode — the bdd node. the one we're counting. the star of the show ⭐

---

🌈 DESCRIPTION 🌈

so getbddnodesize computes the total number of nodes in BddNode, inside the bdd system BddSystem. no cap, that's the whole thing. 💖

and if you hand it a null pointer? no worries babe, it just uses the default bdd system instead. it's giving flexible ✨

---

👑 RETURN VALUE 👑

getbddnodesize returns the number of nodes reached. that's your number. that's your answer. periodt 💅

---

🎀 EXAMPLE 🎀

here's the full flex, copied verbatim because we do NOT mess with code:

#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,
           getbddnodesize( (bddsystem ∗)0, BddNode ) );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

look at that. builds a system, builds a circuit, makes an expression, gets the node, counts the nodes, tears it all down. a whole lil story arc 😭🫶

---

🔥 SEE ALSO 🔥

• bdd(1)

iykyk 👀

---

💀 BUG REPORT 💀

this tool is under development at the ASIM department of the LIP6 laboratory. so yeah, it's a work in progress, we're all growing 🌱

and fr fr: we need your feedback to improve documentation and tools. so if something's weird, tell them!! they're asking nicely!! 🙈

---

ngl if you got all the way down here you're a real one 💜

---

ASIM/LIP6 wrote this one back on October 1, 1997 — yeah, a whole vintage, and it's still serving GETBDDNODESIZE(3) energy today. slay forever bestie 💖✨🎀🦋🌸