BDDTOABLCCT(3)

🦋 bddToAblCct(3) — the BDD functions girlies 💅

ok so this page is BDDTOABLCCT(3) from the BDD functions manual, and it's literally all about turning a BDD into an ABL inside a circuit. stay with me bestie, it's gonna slay ✨

🌈 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

like, the whole thing was born in Paris at LIP6, no cap 🥐💖

✨ NAME

bddToAblCct — converts a BDD into an ABL within a circuit. that's it, that's the whole job, and it does it iconically 🎀

🌸 SYNOPSIS

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

💖 PARAMETERS

• pC — the Circuit where the conversion happens. it's giving "the venue" 🏟️
• pBdd — the BDD you want converted. the main character of this whole operation 👑

🧚 DESCRIPTION

bddToAblCct() converts pBdd into an expression. periodt 💅

lowkey important though: the result it returns depends on the ordering of the primary input. so yeah, order matters, it's not a vibe-neutral thing, keep that in mind 🫶

and also — this function provides the basic method for the logical optimizer that gets called in BOP. so it's like, foundational. the blueprint. the blueprint blueprint, if you will ✨

🌈 EXAMPLE

ok bestie here's the whole thing in action, look:

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

and yes, it will display (OR a b) — that's the payoff, we love a successful conversion 😭💖

🔥 SEE ALSO

log(1), bdd(1), abl(1), ablToBddCct(3) — go read those too, iykyk 📚

💀 BUG REPORT

This tool is under development at the ASIM department of the LIP6 laboratory. They need your feedback to improve documentation and tools — so like, fr fr, tell them stuff. it's giving community 🫶

ngl "under development" means behave accordingly, bestie. it's not finished, don't be weird about it 🙈

ok that's the whole page! this one's from ASIM/LIP6, dated October 1, 1997 — yes, 1997, a whole vintage icon, and the page is BDDTOABLCCT(3) top to bottom. mwah 💋🎀🦋