GETBDDNODESIZE(3)

okay bestie, welcome to the GETBDDNODESIZE(3) page — aka getbddnodesize(3) — from the BDD FUNCTIONS manual. it's giving “small function, big main character energy,” and honestly we're obsessed. let's get into it 💅✨

💖 NAME 💖

getbddnodesize — gets the number of nodes in a bdd. 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. (yes, Paris France — we love a prestigious origin story 😌✨)

• 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. that's the system you're working in, bestie.
• BddNode — the bdd node. the node in question, no cap.

🦋 DESCRIPTION 🦋

getbddnodesize computes the total number of nodes in BddNode, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used — so yes, null pointer means default bdd system. slay. 💖

🌈 RETURN VALUE 🌈

getbddnodesize returns the number of nodes reached. that's the whole return value, no surprises. ✨

🍓 EXAMPLE 🍓

here's the example, copied exactly — yes, even the weird bits, because we don't edit source code in this group chat 😭💀

#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 );

👑 SEE ALSO 👑

• bdd(1) — go see also, 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. fr fr, they mean it — send the feedback. 🫶

cute sign-off: source/version ASIM/LIP6, date October 1, 1997, page GETBDDNODESIZE(3) — bye bestie, mwah 💋💖