SIMPLIFDCONEBDD(3)

💖 SIMPLIFDCONEBDD(3) — BDD functions 💖

okay so bestie, welcome to the BDD functions manual page for simplifDcOneBdd(3). This little icon simplifies a BDD with don't cares on its on-set part, and honestly? it's giving logic-goddess energy ✨. No cap.

🌸 ORIGIN 🌸

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. iykyk 🎀

• Web: http://asim.lip6.fr/recherche/alliance/
• E-mail: alliance-users@asim.lip6.fr

🦋 NAME 🦋

simplifDcOneBdd — simplifies a BDD with don't cares on its on-set part. periodt. 💅

✨ SYNOPSIS ✨

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

🎀 PARAMETERS 🎀

• pBdd1 — the BDD you want to simplify. main character energy, obviously. 🌟
• pBdd2 — the "don't care" function. She's the supporting bestie that tells us what can be ignored. 🫶

💜 DESCRIPTION 💜

simplifDcOneBdd() simplifies pBdd1 with pBdd2. bestie, listen: pBdd2 must be included imperatively in the on-set part of pBdd1 — like, it's not optional, no cap. 🚨

This function returns a BDD that depends to the order of the BDD. Yes, that's the phrasing, and we're keeping it. 💅

🌈 EXAMPLE 🌈

okay, example time — I kept every character exactly where it belongs, bestie:

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

🦋 SEE ALSO 🦋

go check these besties too:

• log(1)
• bdd(1)
• simplifDcZeroBdd(3)
• constraintBdd(3)
• composeBdd(3)
• upVarBdd(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, your girl is listening 🫶.

mwah 💋 — this page is from ASIM/LIP6, dated October 1, 1997, and the manual tag is SIMPLIFDCONEBDD(3). slay and goodbye 🎀