NOTBDD(3)

✨ NOTBDD(3) — notBdd 💅

okay bestie, buckle up, we're talking about notBdd from the BDD functions corner of the universe 🦋 (that's the NOTBDD(3) manual page, if you're keeping track).

Before we get into it though — a little origin story, because this one has lore 📜

🎀 ORIGIN

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team over at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. 🇫🇷 iconic.

• 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 does one thing and she does it well 👑

🌸 SYNOPSIS

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

🦋 PARAMETER

• pBdd — the BDD you want to complement, bestie. hand it over 💅

⭐ DESCRIPTION

notBdd() applies the NOT operator to pBdd. literally that's it. no cap. 🫶

🔥 EXAMPLE

here's a lil demo so you can see it in the wild:

#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);

and yes, it will display exactly that:

@nodeA   INDEX = 2   LOW = ONE   HIGH = ZERO

ate. no crumbs. ✨

don't forget the destroyBdd(1) at the end, okay? clean up after yourself, we're not messy here 🧚

🌈 SEE ALSO

go read these too, iykyk:

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

💀 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, like actually — tell them what's broken, they're begging 🙈

and that's the whole page, bestie 💜 brought to you by ASIM/LIP6, dated October 1, 1997 — yeah she's vintage, she's a classic, she's NOTBDD(3). periodt. 👑🎀