INITIALIZEBDD(3)

💖 INITIALIZEBDD — ok bestie, let's talk BDDs 💖

hey girlypop 🎀 this one is from the BDD functions part of the manual, and it's literally the "turn the lights on" function of the whole BDD system. no BDDs before this. periodt.

---

🌸 ORIGIN 🌸

So 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. 🇫🇷✨ iconic academic slay.

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

---

✨ NAME ✨

initializeBdd — initializes the BDDs system 🦋

---

💅 SYNOPSIS 💅

#include "logmmm.h"
void initializeBdd(size)
int size;

---

🍓 PARAMETER 🍓

• size — the First size of the BDD system. it's giving "how big are we going, bestie" 💫

---

👑 DESCRIPTION 👑

initializeBdd() initializes the BDDs system. no cap, this is the setup step, you literally cannot skip it.

The size can be equal to SMALL_BDD, MEDIUM_BDD or LARGE_BDD, depending on the size of your application. so like, pick the vibe that matches your workload 💅

And the way this function is so important: it creates the zero and one node that correspond to the 0 and 1 boolean constants. those two little icons ✨ the whole system is built on them.

---

🌈 EXAMPLE 🌈

#include "mutnnn.h"      /* mbk utilities */
#include "logmmm.h"

initializeBdd(MEDIUM_BDD);

dislayBdd(one);
/* it will display
ONE
*/

/* application using BDD ... */

destroyBdd(1);

see how we call initializeBdd(MEDIUM_BDD) first, then peek at one? and it will display ONE. chef's kiss. then the app does its BDD thing, and destroyBdd(1) cleans up after. we love a tidy queen 🧹✨

---

💀 ERROR 💀

If you mess with size you get this, and it's not cute:

"initializeBdd : error - size out of bound"

size must be included into SMALL_BDD and LARGE_BDD. so like, stay in your lane range, bestie 🙈 no going out of bounds, that's a jumpscare.

---

🔥 SEE ALSO 🔥

log(1), bdd(1), destroyBdd(3), resetBdd(3), markAllBdd(3), numberNodeAllBdd(3).

go read those next, iykyk 🫶

---

💜 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, your girl is literally asking, please tell us stuff 💌

---

okay that's the whole page!! this one came from ASIM/LIP6 and it's dated October 1, 1997 — vintage but still serving 💅 mwah, go initialize some BDDs bestie 💖✨🎀