CREATENODETERMBDD(3)

📦 version 5.1.1, in fedora 43, fedora 44

🌸 CREATENODETERMBDD(3) — BDD functions 🌸

ok bestie come SIT with me because this one is actually so cute and simple, it's giving "small function, big main character energy" 💅

🏛️ ORIGIN 🏛️

ok so first of all, this whole thing is fancy. 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. oui oui baguette 🥐

✨ NAME ✨

createNodeTermBdd — creates a terminal node of variable. periodt. that's the whole gig 💖

🎀 SYNOPSIS 🎀

#include "logmmm.h"
pNode createNodeTermBdd(index)
short index;

🧚 PARAMETER 🧚

  • index — the associated index, bestie. that's the only thing you're handing over 🫶

💜 DESCRIPTION 💜

ok so createNodeTermBdd() creates a terminal node that corresponds to index. slay.

and here's the iconic part: because of the reduction table, this function always returns the same pNode for a given index. like, every single time. same index in, same node out. no cap 🧢✨

oh and heads up: 0 and 1 index are reserved for the zero and one nodes. so don't come for those, they're taken 👑

🌈 EXAMPLE 🌈

#include "mutnnn.h"      /* mbk utilities */
#include "logmmm.h"
pNode nodeA;

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
displayBdd(nodeA,1);

/* it will display
@nodeA   INDEX = 2   LOW = ZERO   HIGH = ONE
*/
nodeA = createNodeTermBdd(3); /* nodeA doesn't change */

destroyBdd(1);

see how nodeA doesn't change the second time? that's the reduction table doing its little magic trick, we love a consistent queen 💅🔥

💀 ERROR 💀

"createNodeTermBdd : error - index < 2"
index must be strictly higher than 1. so 2 and up only, bestie. try to sneak a 0 or a 1 in there and it will literally yell at you 😭

🦋 SEE ALSO 🦋

log(1), bdd(1), applyBinBdd(3), applyBdd(3), addListBdd(3), displayBdd(3), notBdd(3).

go read the whole friend group, they're all icons 🫶

🙈 BUG REPORT 🙈

ok so, transparency time: this tool is under development at the ASIM department of the LIP6 laboratory.

and they need your feedback to improve documentation and tools. so like… if something's weird, TELL THEM. they're asking. they want the notes fr fr 💌

mwah that's the whole page babes, go make some terminal nodes 💖✨🎀

— written with love by ASIM/LIP6, dated October 1, 1997 (a vintage queen, we stan) 👑🌸

📦 where this page comes from