NUMBERNODEALLBDD(3)

🌸 NUMBERNODEALLBDD(3) 💅 — it lives in the BDD functions section, bestie

okay so before we get into it — hi, hello, welcome to the BDD functions corner of the manual 💖 this page is literally your cheat sheet for counting nodes, and yes it's as iconic as it sounds.

✨ ORIGIN ✨

So this software? It belongs to the ALLIANCE CAD SYSTEM, which was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷🫶

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

like, go say hi, they're lovely. 💌

👑 NAME 👑

numberNodeAllBdd — counts the number of nodes used in the BDD system. that's it. that's the whole vibe check. counting. nodes. periodt. ✨

🎀 SYNOPSIS 🎀

#include "logmmm.h"
int numberNodeAllBdd()

no args, no drama, just vibes and an int. 💅

🦋 DESCRIPTION 🦋

numberNodeAllBdd() counts the number of the nodes that are used in the BDD system. 🧚 that's every single one of them, the whole squad, tallied up. it's giving census energy and honestly? slay.

🌈 EXAMPLE 🌈

okay bestie here's the whole thing in action, fr fr:

#include "mutnnn.h"      /* mbk utilities */
#include "logmmm.h"
pNode nodeA,nodeB,nodeC;
pNode res;
chain_list *pt;

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
nodeC = createNodeTermBdd(4);
pt = NULL;
pt = addListBdd(pt,nodeA);
pt = addListBdd(pt,nodeB);
pt = addListBdd(pt,nodeC);
res = applyBdd(OR,pt);
printf("number of nodes = %d",numberNodeAllBdd());

/* it will display
number of nodes = 5
*/

destroyBdd(1);

and yes, the output is literally this — no cap:

number of nodes = 5

five nodes. five. 🔥 the OR apply ate and left no crumbs, and then we say destroyBdd(1); and clean up like the responsible main characters we are. 👑

💜 SEE ALSO 💜

go read these next, iykyk:

log(1), bdd(1), addListBdd(3), numberNodeBdd(3), notBdd(3), constraintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3).

like the whole friend group, honestly. 🫶

💀 BUG REPORT 💀

real talk for a sec 🙈 — this tool is under development at the ASIM department of the LIP6 laboratory. they need your feedback to improve documentation and tools, so if something's wonky, PLEASE tell them. your girl is only as good as her feedback loop, and so is this tool. 💌

and that's the page!! ⭐ written by ASIM/LIP6, dated October 1, 1997 — and it belongs to the NUMBERNODEALLBDD(3) of this manual, BDD functions. old but iconic, fr fr. bye bestie, go count some nodes 💖🎀🦋