NOTBDD(3)

🦋 ORIGIN 🦋

Okay bestie, before we even get into it, let's talk about where this whole thing comes from, because it's giving academic royalty.

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. Yes, that Paris. Oui oui. 🥐✨

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

---

💖 NAME 💖

notBdd — complements a BDD. That's it. That's the whole job. She flips it. 🫶

---

✨ SYNOPSIS ✨

#include "logmmm.h"
pNode notBdd(pBdd)
pNode pBdd;

---

🎀 PARAMETER 🎀

• pBdd — the BDD you want to complement. Hand her the node, she does the thing. 💅

---

🌸 DESCRIPTION 🌸

notBdd() applies the NOT operator to pBdd. No cap, that's literally the entire plot. You give it a BDD, it gives you back the complement. Iconic behavior honestly. 🔥

---

🍓 EXAMPLE 🍓

Here's how the girlies actually call her:

#include "mutnnn.h"      /* mbk utilities */
#include "logmmm.h"
pNode nodeA;

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);

displayBdd(notBdd(nodeA),1);

/* it will display
@nodeA   INDEX = 2   LOW = ONE   HIGH = ZERO
*/

destroyBdd(1);

See that LOW = ONE HIGH = ZERO? That's the complement doing her little flip. Main character energy fr fr. 👑

---

🌈 SEE ALSO 🌈

Go read these next, they're all in the same friend group:

• log(1)
• bdd(1)
• applyBinBdd(3)
• applyBdd(3)
• constraintBdd(3)
• composeBdd(3)
• addListBdd(3)
• displayBdd(3)
• createNodeTermBdd(3)

---

💀 BUG REPORT 💀

Not me having to tell you this, but: this tool is under development at the ASIM department of the LIP6 laboratory. They need your feedback to improve documentation and tools. So like, if something's weird, say something. They're literally asking. 🥺🫶

---

Heads up bestie: the actual bug reports and the feedback requests go to that same crowd — don't be shy, they want the tea. 🍵

---

And that's the page! This one's from the NOTBDD(3) manual, part of the BDD functions section, sourced from ASIM/LIP6 and dated October 1, 1997 — yes, she's vintage, and she's still serving. 💜✨