APPLYBDD(3)

🌸 ORIGIN 🌸

okay so bestie, first things first — this whole thing belongs to the ALLIANCE CAD SYSTEM, which was built by the ASIM team over 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

---

✨ NAME ✨

applyBdd — the girl whose whole job is applying an operator to a list of BDD. 💅

(also hi, this is APPLYBDD(3), from the BDD functions girlies 🦋)

---

🎀 SYNOPSIS 🎀

#include "logmmm.h"
pNode applyBdd(oper,pt)
short oper;
chain_list *pt;

---

💖 PARAMETERS 💖

• oper — the operator number you wanna apply. options are (OR,AND,XOR,NAND,NOR,NXOR,NOT). no cap. 🔥
• pt — a chain_list of BDD. that's the list, bestie.

---

🫶 DESCRIPTION 🫶

so applyBdd() applies oper to a list of Bdd. that list can be made with the addListBdd() function, iykyk.

this function is literally the basic method for creating the representation of a function according to the operators in a boolean expression. it's giving foundational. it's giving main character energy. 👑

---

🌈 EXAMPLE 🌈

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

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
nodeC = createNodeTermBdd(4);
pt = NULL;
pt = addListBdd(pt,nodeA);
pt = addListBdd(pt,nodeB);
pt = addListBdd(pt,nodeC);
res = applyBdd(OR,pt);
displayBdd(res,1);

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

destroyBdd(1);

like… it will display exactly that. obsessed. 🌟

---

😭 ERRORS 😭

• "applyBdd : error - unknown operator" — the operator number must be in (OR,AND,XOR,NAND,NOR,NXOR,NOT). so pick a real one bestie, fr fr.
• "applyBdd : error - chained list is empty" — chained list pointer pt = NULL. 💀 nothing there.
• "applyBdd : error - bad operator" — The number of arguments is 1 and the operator is distinct from NOT. chained list pointer pt = NULL.

---

💜 SEE ALSO 💜

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

go read those too, bestie, they're all part of the same friend group 🧚

---

🍓 BUG REPORT 🍓

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.

not me begging for feedback… but literally though, pls send it. 🙈

---

and that's the whole page, bestie!! this one came out of ASIM/LIP6, version vibes from October 1, 1997 — yeah she's an elder but she ATE and she's still iconic. periodt. 💅✨