DISPLAYBDD(3)

🦋 DISPLAYBDD(3) — BDD functions 🦋

okay bestie, welcome to the displayBdd page from the BDD functions manual. It's giving “show me the BDD” energy, and yes, it's iconic. 💅

🌈 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.

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

💖 NAME 💖

displayBdd — displays a BDD. Short, sweet, slays.

✨ SYNOPSIS ✨

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

🎀 PARAMETERS 🎀

• pBdd — the BDD to display. The main character fr.
• level — the displaying level. The description below tells you what the numbers mean.

🧚 DESCRIPTION 🧚

displayBdd() displays pBDD. If level= 1, this function displays all the nodes of pBdd; if level = 0, the function displays the root node of pBdd.

Lowkey important: 1 = all the nodes, 0 = just the root. No cap. ✨

🌸 EXAMPLE 🌸

okay this example is literally the blueprint:

#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 ALSO 🔥

the whole friend group:

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

💀 BUG REPORT 💀

Real talk: this tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools. So if you see something, say something 🫶

💌 cute sign-off: source/version ASIM/LIP6, date October 1, 1997, manual page DISPLAYBDD(3). Bye bestie, go display some BDDs! 🎀