DESTROYBDD(3)

okay bestie, welcome to the DESTROYBDD(3) page — the BDD functions corner of the manual, and yes, we're talking about destroyBdd today 💅✨

💖 ORIGIN 💖

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 academic energy, fr fr 🎀

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

🦋 NAME 🦋

destroyBdd — removes the BDDs system. That's the whole vibe check: it's the destroyer. 🫶

✨ SYNOPSIS ✨

#include "logmmm.h"
void destroyBdd(level)

🎀 PARAMETER 🎀

• level — desallocate level. Keeping that exact wording, bestie 🍓

💅 DESCRIPTION 💅

destroyBdd() removes the BDDs system. Simple queen behavior, no cap.

🚨 important caveat: this function can be called only after the initializeBdd() function. Like, do not skip the setup, iykyk 😭

And here's the cute little detail: if level = 0, the nodes are saved, and it's possible to go through the BDD for treatments that don't modify the BDD — simulation is the example given. so level = 0 is giving "look but don't touch" energy 👀✨

🌈 EXAMPLE 🌈

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

initializeBdd(MEDIUM_BDD);

/* application using BDD ... */

destroyBdd(1);

🔥 SEE ALSO 🔥

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

periodt 💅

🫶 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 if you've got notes, send them, bestie, it's literally how things get better 🌸

💖 cute sign-off time: source/version line says ASIM/LIP6, date says October 1, 1997, and this is the DESTROYBDD(3) page — slay, documented, done 🎀🦋