NUMBERNODEBDD(3)

okay bestie, this is NUMBERNODEBDD(3) — the BDD functions page that literally counts how many reduced nodes a BDD is using. no cap, it’s a tiny lil function with main character energy. 💖✨

🌸 ORIGIN 🌸

okay so origin story: this software belongs to the ALLIANCE CAD SYSTEM, 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

🎀 NAME 🎀

numberNodeBdd — computes the number of nodes used in a BDD. periodt. 💅

💅 SYNOPSIS 💅

#include "logmmm.h"
int numberNodeBdd(pBdd)
pNode pBdd;

🦋 PARAMETER 🦋

• pBdd — the BDD that the computation operates on. that’s the one you’re counting nodes in, bestie. 🦋

✨ DESCRIPTION ✨

numberNodeBdd() computes the number of reduced nodes that are used in pBdd. that’s it, that’s the whole slay. 💅 It’s giving “count the nodes” and nothing else.

🌈 EXAMPLE 🌈

okay here’s the example, copied exactly because code is sacred:

#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(XOR,pt);
printf("number of nodes = %d",numberNodeBdd(res));

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

destroyBdd(1);

and yes, it will display number of nodes = 5 — iconic. 🍓

🔥 SEE ALSO 🔥

log(1), bdd(1), addListBdd(3), numberNodeBdd(3), notBdd(3), constraintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3). go read those too bestie, iykyk. 💜

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. They need your feedback to improve documentation and tools. so send the feedback, bestie — it’s giving collaborative main character energy. 🙈

xoxo, ASIM/LIP6 — October 1, 1997 — NUMBERNODEBDD(3) 💖🎀