DISPLAYBDD(3)

💖 ORIGIN 💖

Okay so bestie, before we even get into it — this software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. Oui oui, Paris. Iconic. 🗼

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

---

✨ NAME ✨

displayBdd — displays a BDD. That's it. That's the whole job. She shows you the BDD. 👑

---

🦋 SYNOPSIS 🦋

#include "logmmm.h"
void displayBdd(pBdd,level)
pNode pBdd;
int level;

---

🌸 PARAMETERS 🌸

• pBdd — the BDD you wanna display. the moment. the star of the show. 💅
• level — the displaying level, aka how much tea you want spilled (more on this below, don't worry).

---

💜 DESCRIPTION 💜

displayBdd() displays pBDD.

Now here's the vibe check on level:

• if level = 1, this function displays all the nodes of pBdd — the whole friend group, everyone's invited 🫶
• if level = 0 the function displays the root node of pBdd — just the main character, nobody else gets screen time 👑

---

🎀 EXAMPLE 🎀

#include "mutnnn.h"      /* mbk utilities */
#include "logmmm.h"
pNode nodeA,nodeB,nodeC;
pNode res;

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
nodeC = createNodeTermBdd(4);

res = applyBinBdd(OR,applyBinBdd(AND,nodeB,nodeC),nodeA);
          /* corresponding to  (OR (AND b c) a) */

displayBdd(res,1);

/* it will display
@res      INDEX = 4   LOW = @nodeA   HIGH = @inter1
@nodeA    INDEX = 2   LOW = ZERO     HIGH = ONE
@inter1   INDEX = 3   LOW = @nodeA   HIGH = ONE
*/

displayBdd(res,0);

/* it will display
@res      INDEX = 4   LOW = @nodeA   HIGH = @inter1
*/

destroyBdd(1);

See how the level = 1 call gave you the whole squad and the level = 0 call only showed @res? Yeah. That's the difference. Not me being obsessed with @inter1 though, lowkey a legend. 😭

---

🔥 SEE ALSO 🔥

log(1), bdd(1), createNodeTermBdd(3), applyBinBdd(3), applyBdd(3), constraintBdd(3), composeBdd(3), addListBdd(3), notBdd(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, they're asking. If something's broken or the docs are giving nothing, tell them. 🙈

---

ngl bestie, if you read this whole page you're basically a BDD scholar now. periodt. 💖

ASIM/LIP6 — October 1, 1997. Yeah, 1997. Vintage. Retro. The manpage was born before some of y'all were. Slay, honestly. 🌈✨