MARKBDDNODE(3)

🎀 NAME 🎀

okay so this is markbddnode, and it lives in section 3 of the manual, aka the BDD FUNCTIONS pages 💅

what it does? it marks a bdd node with a specified mask. that's it, that's the whole vibe. ✨

---

🌸 ORIGIN 🌸

so 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 🇫🇷 (oui oui, iconic)

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

---

📜 SYNOPSIS 📜

#include "bdd101.h"
long markbddnode( BddSystem, BddNode, Mark )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;
  bddmark    Mark;

---

🫶 PARAMETERS 🫶

• BddSystem — the bdd system. that's the whole system, bestie.
• BddNode — the bdd node you're marking. the lil guy getting the sticker 🏷️
• Mark — the bit mask. this is the sticker itself.

---

💖 DESCRIPTION 💖

okay so markbddnode marks the bdd node BddNode with the bit mask Mark, inside the bdd system BddSystem. ✨

and listen — if you hand it a null pointer, it just uses the default bdd system. no stress, it's got you. 🫶

the way it actually works? it does a OR with the field MARK of the bdd node BddNode, and the bit mask Mark. like, a bitwise OR. slay. 💅

---

⭐ RETURN VALUE ⭐

markbddnode returns the number of the different marked nodes. periodt. 🔥

---

🦋 EXAMPLE 🦋

here's the whole thing in action, copy-paste ready, no cap:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   Expr = createablbinexpr( ABL_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   printf( "Number nodes: %ld0,
           markbddnode( (bddsystem ∗)0, BddNode, 0x0001 ) );
   unmarkbddnode( (bddsystem ∗)0, BddNode, 0x0001 );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

---

👑 SEE ALSO 👑

• bdd(1)

---

💌 BUG REPORT 💌

so this tool is under development at the ASIM department of the LIP6 laboratory. 👀

and fr fr, they need your feedback to improve documentation and tools. so if something's weird, tell them!! they're literally asking!! 🙈

---

ASIM/LIP6 · October 1, 1997 · MARKBDDNODE(3)

and that's the whole page bestie, mwah 💋 bye pookie, go mark some nodes 🦋💖✨