NUMBERNODEALLBDD(3)

💖 NUMBERNODEALLBDD(3) — BDD functions 💖

okay bestie, so this is a page from the ALLIANCE CAD SYSTEM manual, and before we get into the actual tea, let me tell you where this whole thing comes from, because the origin story is lowkey iconic 🎀

---

🌸 ORIGIN 🌸

This software 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... Paris. the LIP6 lab. the ASIM team. we love a French academic slay 🫶

---

✨ NAME ✨

numberNodeAllBdd — count the number of nodes used in the BDD system 💅

---

🦋 SYNOPSIS 🦋

#include "logmmm.h"
int numberNodeAllBdd()

---

💫 DESCRIPTION 💫

okay so numberNodeAllBdd() counts the number of the nodes that are used in the BDD system. that's it. that's the whole job. it's giving "one (1) task, executed flawlessly" 👑

---

🌈 EXAMPLE 🌈

here's the whole vibe in code form, no cap:

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

so you set up your BDD with initializeBdd(SMALL_BDD), make three term nodes (nodeA and nodeB at 3, nodeC at 4), stack them into a chain_list with addListBdd(), hit it with applyBdd(OR,pt), and then numberNodeAllBdd() tells you what's what. and fr fr it prints:

number of nodes = 5

five nodes. periodt. then you destroyBdd(1) and go about your day 💖

---

👑 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, they're all part of the same friend group 🧚

---

🙈 BUG REPORT 🙈

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.

ngl they're literally asking for your input — if something's weird, tell them. they want the feedback fr 💀💜

---

and that's the page!! 🎀 it's from ASIM/LIP6, dated October 1, 1997, and the manual page is NUMBERNODEALLBDD(3). mwah, go count some nodes ✨💅