NUMBERNODEBDD(3)

💖 ORIGIN 💖

okay so bestie, first the lore ✨ 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. 🇫🇷 iconic.

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

---

🌸 NAME 🌸

numberNodeBdd — literally counts how many nodes your BDD is using, no cap 💅

---

✨ SYNOPSIS ✨

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

---

🎀 PARAMETER 🎀

• pBdd — the BDD that we're doing the compute on, she's the main character here 🫶

---

🦋 DESCRIPTION 🦋

numberNodeBdd() computes the number of reduced nodes that are used in pBdd. that's it, that's the whole job, and she ate 💅✨

---

🌈 EXAMPLE 🌈

ok so here's a little taste, bestie:

#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 boom, it will display number of nodes = 5 🎉 like… she counted, she served, she left. obsessed.

---

👑 SEE ALSO 👑

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

go read those too, iykyk 🧚

---

💀 BUG REPORT 💀

ngl this tool is under development at the ASIM department of the LIP6 laboratory. and they need your feedback to improve documentation and tools — so like, pls tell them, fr fr 🙈

do NOT gatekeep your bug reports bestie, they literally asked for them 💜

---

ASIM/LIP6 · October 1, 1997 — yeah she's an old soul but she still slays 💅✨ NUMBERNODEBDD(3) out, mwah 🫶