APPLYBINBDD(3)

💅 APPLYBINBDD(3) — BDD functions

okay bestie, so you're in the APPLYBINBDD(3) girlies now ✨ this one lives in the BDD functions section of the manual, and it's honestly a whole vibe. buckle up 🎀

🌸 ORIGIN

So like, this software belongs to the ALLIANCE CAD SYSTEM, which was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷✨ iconic, honestly.

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

💖 NAME

applyBinBdd — applies an operator to two BDD. that's it, that's the function, and she ate 💅

✨ SYNOPSIS

#include "logmmm.h"
pNode applyBinBdd(oper,pBdd1,pBdd2)
short oper;
pNode pBdd1;
pNode pBdd2;

🦋 PARAMETERS

• oper — the operator number you wanna apply. your options are OR, AND, XOR, NAND, NOR, NXOR 🌈 pick your fighter.
• pBdd1 — the first argument, i.e. bdd number one.
• pBdd2 — the second argument, i.e. bdd number two. bestie duo fr fr 🫶

👑 DESCRIPTION

applyBinBdd() applies oper to pBdd1 and pBdd2. that's the whole bit. she provides the basic method for creating the representation of a boolean function — lowkey the main character of this whole operation, ngl 💀✨

🍓 EXAMPLE

okay here's the moment you've been waiting for, the actual code:

#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);
displayBdd(res,1);

/* it will display
@res    INDEX = 3   LOW = @nodeA   HIGH = ONE
@nodeA  INDEX = 2   LOW = ZERO     HIGH = ONE
*/

destroyBdd(1);

and yes bestie, it will display exactly:

@res    INDEX = 3   LOW = @nodeA   HIGH = ONE
@nodeA  INDEX = 2   LOW = ZERO     HIGH = ONE

no cap, it's giving perfection 💖

🌈 SEE ALSO

like, go read these too, they're all in the family:

log(1), bdd(1), applyBdd(3), notBdd(3), constraintBdd(3), composeBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(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 like, if something's weird, tell them!! your girl is asking nicely 🥺💜

ngl, if you made it this far you're literally a BDD scholar now. slay. periodt. 👑

okay bye bestie 💕 this page came from ASIM/LIP6, dated October 1, 1997, and it goes by APPLYBINBDD(3) — catch you in the next manpage 🎀🦋✨