RESETBDD(3)

💖 ORIGIN 💖

ok so before we even get into it, bestie, you need to know where this comes from. 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

---

✨ NAME ✨

resetBdd — resets the BDDs system. that's it, that's the whole vibe 🫶

---

🎀 SYNOPSIS 🎀

#include "logmmm.h"
void resetBdd()

like… it takes nothing, it returns nothing, it just does the thing. main character energy honestly. 👑

---

🦋 DESCRIPTION 🦋

resetBdd() resets the BDDs system. periodt. 💅

⚠️ okay but listen — this function can only be called after the initializeBdd() function. like, you cannot just roll up and call it whenever. initializeBdd() first, then resetBdd(). that's the order. no cap. 🚨

---

🌸 EXAMPLE 🌸

here's how it actually looks in the wild, bestie, look at this:

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

initializeBdd(LARGE_BDD);

/* first application using BDD ... */

resetBdd();

/* second application using BDD ... */

destroyBdd(1);

see how it goes initializeBdd(LARGE_BDD) first, then you do your whole first application thing, then resetBdd() hits the reset, then second application, and then destroyBdd(1) to close it out? that's the flow. iconic sequencing fr fr. 🔥

---

👀 SEE ALSO 👀

• log(1)
• bdd(1)
• destroyBdd(3)
• gcNodeBdd(3)
• markAllBdd(3)
• numberNodeAllBdd(3)
• resetBdd(3)

go read those too, iykyk. 📚✨

---

💀 BUG REPORT 💀

ok so ngl, this tool is still under development at the ASIM department of the LIP6 laboratory. 🛠️

and like — we need your feedback to improve documentation and tools. please, bestie, tell us things. we're literally asking. 🙈💜

---

kisses, this was the resetBdd(3) page from the BDD functions manual, brought to you by ASIM/LIP6, dated October 1, 1997. slay, bye 💖✨🎀