CREATENODETERMBDD(3)

💅 CREATENODETERMBDD(3) 💅

okay bestie, you're in the BDD functions section and this page is about createNodeTermBdd — she creates a terminal node of variable, and the reduction table is doing main-character work behind the scenes ✨

✨ 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. 🌍

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

🌸 NAME 🌸

• createNodeTermBdd — creates a terminal node of variable.

🎀 SYNOPSIS 🎀

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

🫶 PARAMETER 🫶

• index — associated index.

💖 DESCRIPTION 💖

So createNodeTermBdd() creates a terminal node corresponding to index. Because of the reduction table, this function always returns the same pNode for a given index. And heads up: 0 and 1 index are reserved to the zero and one nodes.

🧚 EXAMPLE 🧚

Here's the vibe in code:

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

The comment is literally showing what it will display, and nodeA doesn't change when you call it again. Slay. 💅

💀 ERROR 💀

If your index is too low, you get this exact mood:

"createNodeTermBdd : error - index < 2"

Rule check: index must be strictly higher than 1. No exceptions, bestie. 🫶

🔥 SEE ALSO 🔥

• log(1)
• bdd(1)
• applyBinBdd(3)
• applyBdd(3)
• addListBdd(3)
• displayBdd(3)
• notBdd(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. 💌

Source/version: ASIM/LIP6 · date: October 1, 1997 · page: CREATENODETERMBDD(3) — byeee, go make your terminal node era happen 💅✨