BDDTOABLCCT(3)

✨ bddToAblCct(3) — BDD functions ✨

okay bestie, welcome to the BDDTOABLCCT(3) manual page, aka the BDD functions corner of the ALLIANCE CAD SYSTEM 💅

---

🌸 ORIGIN 🌸

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. 🥐✨

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

---

🎀 NAME 🎀

bddToAblCct — converts a BDD into an ABL within a circuit. that's it, that's the whole job. iconic behavior fr fr 💖

---

✨ SYNOPSIS ✨

#include "logmmm.h"
chain_list *bddToAblCct(pC,pBdd)
pCircuit pC;
pNode pBdd;

---

💜 PARAMETERS 💜

• pC — the Circuit in which is made the conversion 🏗️
• pBdd — the BDD to convert 🦋

---

🌈 DESCRIPTION 🌈

so bddToAblCct() converts pBdd into an expression. and here's the tea ☕: the result this function returns depends on the ordering of the primary input. yes bestie, ordering matters, it's giving "your vibe depends on your order" energy, no cap.

also this function provides the basic method for the logical optimizer called in BOP. so it's not just a cute little converter, it's the foundation, the moment, the main character 🔥

---

🧚 EXAMPLE 🧚

#include "mutnnn.h"      /* mbk utilities */
#include "logmmm.h"
chain_list *expr;
pNode res;
pCircuit pC;

initializeBdd(SMALL_BDD);
pC = initializeCct("circuit 1",10,10);

addInputCct(pC,"a");
addInputCct(pC,"b");

     /* let's suppose that res = (OR a b) */

expr = bddToAblCct(pC,applyBinBdd(OR,
                    createNodeTermBdd(searchInputCct(pC,"a"))),
                    createNodeTermBdd(searchInputCct(pC,"b")));
displayExpr(expr);

/* it will display
(OR a b)
*/

destroyCct(pC);
destroyBdd(1);

like look at it. it sets up a BDD, makes a circuit, adds "a" and "b", converts, displays, and then cleans up after itself with destroyCct(pC) and destroyBdd(1). self-care. we love to see it 🫶

---

👑 SEE ALSO 👑

log(1), bdd(1), abl(1), ablToBddCct(3).

(the girlies who read the whole set >>> )

---

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory.

We need your feedback to improve documentation and tools. 😭 please, bestie, we're literally asking, tell us things 🙈

---

heads up: this page is from the ASIM/LIP6 era, dated October 1, 1997, and it's filed under section 3 of the manual — so go forth, convert your BDDs into ABLs, and stay slay 💅⭐🌸