INITIALIZEBDD(3)

💅 INITIALIZEBDD(3) 💅

okay bestie, you've landed on the BDD functions manual page — INITIALIZEBDD(3) — and it's literally all about getting the BDDs system initialized. no cap, we're gonna keep every detail. ✨

🌍 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 💖

initializeBdd — initializes the BDDs system. that's the whole assignment. 👑

✨ SYNOPSIS ✨

#include "logmmm.h"
void initializeBdd(size)
int size;

🎀 PARAMETER 🎀

• size — First size of BDD system. it's the starting size you hand over, bestie.

🦋 DESCRIPTION 🦋

initializeBdd() initializes the BDDs system. size can be equal to SMALL_BDD, MEDIUM_BDD or LARGE_BDD according to the application size. This function creates the zero and one node that correspond to the 0 and 1 boolean constants. iconic behavior, honestly. 💅

🌸 EXAMPLE 🌸

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

initializeBdd(MEDIUM_BDD);

dislayBdd(one);
/* it will display
ONE
*/

/* application using BDD ... */

destroyBdd(1);

so yeah, after initializeBdd(MEDIUM_BDD); the example calls dislayBdd(one); and the comment says it will display ONE. then your app does its BDD thing, and destroyBdd(1); closes it out. periodt. 🔥

💀 ERROR 💀

if size is out of bounds, you get this exact message: "initializeBdd : error - size out of bound". and yeah — size must be included into SMALL_BDD and LARGE_BDD. so don't try it. 🙈

👑 SEE ALSO 👑

• log(1)
• bdd(1)
• destroyBdd(3)
• resetBdd(3)
• markAllBdd(3)
• numberNodeAllBdd(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 want the feedback. 💌

💖 signed off by ASIM/LIP6 — October 1, 1997 🎀