MARKALLBDD(3)

okay bestie, welcome to MARKALLBDD(3) — the markAllBdd page from the BDD functions manual. it's giving short, sweet, and very BDD-coded 💅✨

🌸 ORIGIN 🌸

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 institutional lore, honestly 🫶

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

✨ NAME ✨

markAllBdd — marks all the nodes of the BDDs system. yes, all of them, bestie 💖

🎀 SYNOPSIS 🎀

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

💜 PARAMETER 💜

• value — value to assign. literally the value you're assigning, no cap 🌟

🦋 DESCRIPTION 🦋

okay so markAllBdd() assigns to value the marks of all the nodes used in the BDDs system. that's the whole assignment vibe: every node used in the BDDs system gets marked with that value ✨

🔥 SEE ALSO 🔥

go peek at these besties:

• log(1)
• bdd(1)
• markBdd(3)
• numberNodeBdd(3)
• numberNodeAllBdd(3)
• supportChain_listBdd(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. so fr fr, if you've got thoughts, send them our way 🫶💀

byeee bestie — this page is from ASIM/LIP6, dated October 1, 1997, and it's the MARKALLBDD(3) page. slay and goodbye 💅✨