SIMPLIFDCZEROBDD(3)

📦 version 5.1.1, in fedora 43, fedora 44

💖 SIMPLIFDCZEROBDD 💖

okay bestie, so this is a page from the BDD functions collection, and it's literally about making your BDD smaller using don't-cares. no cap. 🦋

✨ ORIGIN ✨

so like, 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. 🇫🇷✨

🌸 NAME 🌸

simplifDcZeroBdd — simplifies a BDD with don't cares on its off-set part 💅

🎀 SYNOPSIS 🎀

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

⭐ PARAMETERS ⭐

  • pBdd1 — the BDD you wanna simplify, bestie
  • pBdd2 — the "don't care" function

💜 DESCRIPTION 💜

simplifDcZeroBdd() simplifies pBdd1 with pBdd2. okay and here's the tea 🫖: pBdd2 must be included imperatively in the off-set part of pBdd1. like, no exceptions, it's giving non-negotiable. 😭

This function returns a BDD that depends to the order of the BDD. slay.

🌈 EXAMPLE 🌈

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

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
res1 = applyBinBdd(OR,nodeA,nodeB);     /* res1 = (OR a b) */
res2 = applyBinBdd(NOR,nodeA,nodeB);    /* res2 = (NOR a b) */
res = simplifDcZeroBdd(res1,res2); /* res1 and res2 = 0 */
displayBdd(res,1);

/* it will display
@res   ONE
*/

destroyBdd(1);

not it just printing ONE like that, iconic honestly 👑

🔥 SEE ALSO 🔥

log(1), bdd(1), simplifDcOneBdd(3), applyBdd(3), notBdd(3), constraintBdd(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. fr fr, they're asking nicely, so go tell them what's broken 🙈

ASIM/LIP6 · October 1, 1997 · and the manual name is SIMPLIFDCZEROBDD(3) — that's the whole vibe check, mwah 💋✨

📦 where this page comes from