APPLYBINBDD(3)

📦 version 5.1.1, in fedora 43, fedora 44

💖 applyBinBdd — BDD functions (section 3 of the manual, bestie) 💖

okay so before we even get into it, let me tell you where this icon comes from, because the lore is real.

🌈 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. 🗼✨

like. french academia said "we're gonna build a CAD system" and they DID. obsessed. 🥐

✨ NAME ✨

applyBinBdd — applies an operator to two BDD. 💅

(yes it's giving "what does it do" energy in the name itself. efficient queen.)

🦋 SYNOPSIS 🦋

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

look at her. short, sweet, knows exactly what she wants. 🎀

🍓 PARAMETERS 🍓

  • oper — the operator number you wanna apply. your options are OR, AND, XOR, NAND, NOR, NXOR. pick your fighter. 🔥
  • pBdd1 — first argument 🫶
  • pBdd2 — second argument 🫶

👑 DESCRIPTION 👑

applyBinBdd() applies oper to pBdd1 and pBdd2. no cap. 💫

and like, this is not just some little helper function — this is THE basic method for creating the representation of a boolean function. main character energy fr fr. when you need a boolean function to exist as a BDD, this is the girl you call. ✨

💜 EXAMPLE 💜

here's the whole vibe, copy-paste ready:

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

see that comment block? that's literally the output, exactly as it prints. don't touch it, it's perfect. 😭💖

🌸 SEE ALSO 🌸

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

the whole friend group. go read them too, 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.

bestie this is literally them asking you to text them back. don't leave them on read. 🙈 send your bugs, send your thoughts, they're building this thing.

okay that's the whole page!! 🎀 written by ASIM/LIP6, dated October 1, 1997 — yes she's vintage, yes she still slays, periodt. 💅✨🦋

📦 where this page comes from