MARKALLBDD(3)

📦 version 5.1.1, in fedora 43, fedora 44

💖 ORIGIN 💖

okay bestie, welcome to MARKALLBDD(3) — yes, that's the manual name, and this page is part of the BDD functions manual. We're folding that header info right here because we're not doing boring header-line copy-paste in this group chat. 💅

so first things first: 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. iconic academic serve, no cap. 🎀

✨ NAME ✨

markAllBdd — marks all the nodes of the BDDs system. that's the whole name, bestie. short, sweet, and lowkey powerful. 👑

🌸 SYNOPSIS 🌸

#include "logmmm.h"
void markAllBdd(value)
short value;

🎀 PARAMETER 🎀

  • value — the value to assign. that's it. one parameter, no drama, just value doing its thing. 💖

💅 DESCRIPTION 💅

the way markAllBdd() works is literally this: it takes value and assigns it to the marks of all the nodes used in the BDDs system. every single node in the BDDs system gets that mark assignment. it's giving global mark glow-up, and honestly? obsessed. ✨

👀 SEE ALSO 👀

go check out the whole squad:

iykyk, these are the friends you wanna keep close. 🫶

🐛 BUG REPORT 🐛

bestie, this tool is under development at the ASIM department of the LIP6 laboratory. they literally need your feedback to improve documentation and tools. so if you find something weird, speak up, because feedback is the main character here. 😭

xoxo, ASIM/LIP6 — October 1, 1997 — signing off from the MARKALLBDD(3) page. stay slay, stay marked. 💅✨

📦 where this page comes from