MARKBDD(3)

✨ MARKBDD(3) — BDD functions ✨

okay bestie, this is the MARKBDD(3) page from the BDD functions manual, and it's all about marking nodes in a BDD. no cap, it's a tiny function with big garbage-collection energy. 💅

🌸 ORIGIN 🌸

Real talk: 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. 🗼💖

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

🎀 NAME 🎀

markBdd — marks all nodes of a BDD. literally the whole vibe. ✨

🦋 SYNOPSIS 🦋

#include "logmmm.h"
void markBdd(pBdd,value)
pNode pBdd;
short value;

💜 PARAMETERS 💜

• pBdd — the BDD to mark, bestie. that's the target. 🎯
• value — the value to assign. yes, assign it. 💅

🔥 DESCRIPTION 🔥

markBdd() assigns to value the mark field of all the nodes used in pBdd. Read that again: every node used in the BDD gets its mark field set to value. slay. 💖

This function is used for the garbage collection. When a node is created, its mark is set to 0 — that's the default value. so fresh nodes start at zero, periodt. 🧚

👑 SEE ALSO 👑

• log(1)
• bdd(1)
• markAllBdd(3)
• numberNodeBdd(3)
• numberNodeAllBdd(3)
• gcNodeBdd(3)

go read those too, iykyk. 📚✨

💀 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, tell them what's broken or confusing — feedback is the main character here. 🫶

mwah 💋 that's the whole page. source/version tag: ASIM/LIP6; date: October 1, 1997; page: MARKBDD(3). byeeee 🎀💖