RESETBDD(3)

🦋 RESETBDD(3) — the resetBdd page, bestie edition

okay so real quick: this is from the BDD functions section of the manual (section 3, iykyk), and it's about one tiny function that does one big job. let's get into it 💅

✨ 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 🇫🇷 (yes the original has a slightly cursed encoding on "Université", we move).

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

like, hit them up, they're literally the origin story 🫶

🌸 NAME 🌸

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

🎀 SYNOPSIS 🎀

#include "logmmm.h"
void resetBdd()

💖 DESCRIPTION 💖

resetBdd() resets the BDDs system. one job, no notes, she ate 🍓

⚠️ ok important caveat bestie: this function can only be called after the initializeBdd() function. like, do not come for her before the init. that's not the timeline we're in. initializeBdd() first, resetBdd() after, periodt.

🌈 EXAMPLE 🌈

here's the whole little story arc, lowkey cute:

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

initializeBdd(LARGE_BDD);

/* first application using BDD ... */

resetBdd();

/* second application using BDD ... */

destroyBdd(1);

so you init with LARGE_BDD, run your first app, resetBdd() to wipe the slate, run your second app, then destroyBdd(1) to clean up. iconic lifecycle honestly 👑

👑 SEE ALSO 👑

go read these, they're the friend group:

• log(1)
• bdd(1)
• destroyBdd(3)
• gcNodeBdd(3)
• markAllBdd(3)
• numberNodeAllBdd(3)
• resetBdd(3) (yes, she's listing herself, main character energy fr fr)

💀 BUG REPORT 💀

this tool is still under development at the ASIM department of the LIP6 laboratory. they literally need your feedback to improve the documentation and the tools — so if something's weird, say something 🙈✨

no cap, bug reports are a love language.

mwah, that's the page 💜 — brought to you by ASIM/LIP6, dated October 1, 1997, filed under RESETBDD(3), and yes the footer is serving vintage but the vibes are forever 🎀