COMPOSEBDD(3)

🌸 COMPOSEBDD(3) — BDD functions 🌸

okay so bestie, welcome to composeBdd(3) from the BDD functions fam 💅 this page is short and sweet and honestly kind of iconic, so let's get into it ✨

💖 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

like, they literally built a whole CAD system and told us where to send the love mail 🫶

🌈 NAME 🌈

composeBdd — substitutes an index by a BDD in another BDD. no cap, that's the whole job description 💀

✨ SYNOPSIS ✨

#include "logmmm.h"
pNode composeBdd(pBdd1,pBdd2,index)
pNode pBdd1;
pNode pBdd2;
short index;

🎀 PARAMETERS 🎀

• pBdd1 — the BDD in which index is substituted. she's the one getting a glow-up 😌
• pBdd2 — the BDD that replaces index. the substitute teacher, but make it graph theory 🦋
• index — the index to substitute. a short, bestie. keep it smol 💅

💜 DESCRIPTION 💜

composeBdd() constructs the graph for the function obtained by composing pBdd1 and pBdd2.

and here's the tea 🍓 — this function is useful when an auxiliary variable has been mistaken for a primary input. oops! 🙈 it happens to the best of us. lowkey a rescue mission fr fr.

🌟 EXAMPLE 🌟

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

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
res = applyBinBdd(OR,nodeA,nodeB); /* res = (OR a b) */
res = composeBdd(res,notBdd(nodeB),2);  /* composition : a = (NOT B) */
displayBdd(res,1);

/* it will display
@res   ONE
*/

destroyBdd(1);

it will display:

@res   ONE

ate and left no crumbs, honestly 👑 the composition just collapses to ONE and she's serving it ✨

🦋 SEE ALSO 🦋

log(1), bdd(1), applyBdd(3), notBdd(3), constraintBdd(3), applyBinBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).

go read those next, iykyk 📚💖

😭 BUG REPORT 😭

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

We need your feedback to improve documentation and tools. 🫶 seriously bestie, send the feedback, they're literally asking 🙏

and that's the whole page!! 💫 this was written by ASIM/LIP6, dated October 1, 1997, and it's COMPOSEBDD(3) — go forth and compose those BDDs, queen 👑💅