CONSTRAINTBDD(3)

💅 CONSTRAINTBDD(3) — BDD functions, but make it cute 💅

🌈 ORIGIN 🌈

okay bestie, 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

🎀 NAME 🎀

constraintBdd — restricts a BDD to another BDD. No cap, that's the whole serve. 💅

🦋 SYNOPSIS 🦋

#include "logmmm.h"
pNode constraintBdd(pBdd1,pBdd2)
pNode pBdd1;
pNode pBdd2;

🌸 PARAMETERS 🌸

• pBdd1 — BDD to restrict. 💖
• pBdd2 — constraint BDD. 👑

🔥 DESCRIPTION 🔥

So constraintBdd() constructs the graph for the function obtained by restricting pBdd1 on pBdd2. Literally that's the whole vibe, and it's iconic. ✨ This function can be used for example when a primary input is stuck at 0 or 1. 🧚

⭐ EXAMPLE ⭐

Here's the example, copied exactly because we do not mess with code, bestie:

#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 = constraintBdd(res,nodeA);         /* a = 1 */
displayBdd(res,1);

/* it will display
@res   ONE
*/

destroyBdd(1);

👑 SEE ALSO 👑

go read these too, iykyk: log(1), bdd(1), simplifDcOneBdd(3), simplifDcZeroBdd(3), composeBdd(3), applyBdd(3), notBdd(3), applyBinBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).

💀 BUG REPORT 💀

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

mwah 💋 this page came from ASIM/LIP6, dated October 1, 1997 — CONSTRAINTBDD(3) forever, periodt. 🫶💖