SIMPLIFDCONEBDD(3)

📦 version 5.1.1, in fedora 43, fedora 44

👑 SIMPLIFDCONEBDD(3) — the simplifDcOneBdd era 💅

ok bestie, sit down, we're talking about a BDD function from the ALLIANCE CAD SYSTEM, and honestly? it's giving main character energy. this is a logmmm.h girlie and she is so good at her job.

🌸 ORIGIN 🌸

okay so first, the lore ✨. 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. no cap.

like, they literally gave us contact info. use it. 🫶

✨ NAME ✨

simplifDcOneBdd — simplifies a BDD with don't cares on its on-set part. that's the whole vibe. 💖

🎀 SYNOPSIS 🎀

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

🦋 PARAMETERS 🦋

  • pBdd1 — the BDD we're simplifying, bestie. this is the one getting the glow-up.
  • pBdd2 — the "don't care" function. she's the wildcard. the chaos agent. we stan. 🙈

💜 DESCRIPTION 💜

so simplifDcOneBdd() simplifies pBdd1 with pBdd2. easy.

but listen. pBdd2 must be included imperatively in the on-set part of pBdd1. not optional, not negotiable, not a suggestion. it's a requirement, periodt. 💅

this function returns a BDD that depends to the order of the BDD. iykyk. 🔥

🌈 EXAMPLE 🌈

here's the moment you've all been waiting for, the demo, the performance, the slay:

#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(XOR,nodeA,nodeB);         /* res1 = (XOR a b) */
res2 = applyBinBdd(AND,notBdd(nodeA),nodeB); /* res2 = (AND (not a) b) */
res = simplifDcOneBdd(res1,res2);  /* res1 and res2 = res2 */

/* res = (AND a (not b)) */

destroyBdd(1);

look at that. res1 and res2 = res2. the way she just worked 😭👑

🌟 SEE ALSO 🌟

go read these too, fr fr:

🍓 BUG REPORT 🍓

ngl, this tool is under development at the ASIM department of the LIP6 laboratory. she's growing, she's evolving, she's in her era. 🌱

We need your feedback to improve documentation and tools. so like, tell them things. please. they're literally asking. 🙏

and that's the whole page bestie!! 💖 this was ASIM/LIP6, dated October 1, 1997 — yes, she's an elder icon and she still eats. mwah 💅✨🦋

📦 where this page comes from