UNMARKBDDNODE(3)

💖 NAME 💖

Bestie, welcome to UNMARKBDDNODE(3) — it's a page from the BDD FUNCTIONS corner of the manual, and it's about one lil' job:

unmarkbddnode — unmarks a bdd node with a specified mask 💅

---

🌈 ORIGIN 🌈

Okay so this software is part of the ALLIANCE CAD SYSTEM, and it was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. Oui oui, très chic 🇫🇷✨

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

---

✨ SYNOPSIS ✨

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

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system, the whole lil' universe we're working in 🌌
• BddNode — the bdd node we're gonna unmark, our main character fr 👑
• Mark — the bit mask, aka the vibe filter 🎛️

---

🦋 DESCRIPTION 🦋

So unmarkbddnode unmarks the bdd node BddNode with the bit mask Mark, inside the bdd system BddSystem. Iconic, right?

Heads up bestie: if you hand it a null pointer, it just uses the default bdd system instead. No stress 💖

And what is it actually doing under the hood? It does an AND with the field MARK of the bdd node BddNode, and the complemented bit mask Mark. So it's clearing those bits. Slay ✨

---

💜 RETURN VALUE 💜

unmarkbddnode returns the number of the different unmarked nodes. It's literally counting its wins 📈💅

---

🔥 EXAMPLE 🔥

Here's the whole thing in action, copied exactly as it lives in the manual (no cap, character for character):

#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 how it marks with 0x0001 and then unmarks with 0x0001? Balance. Symmetry. Character development 🧚✨

---

🌸 SEE ALSO 🌸

• bdd(1) — go read it, iykyk 🫶

---

🍓 BUG REPORT 🍓

Real talk: this tool is under development at the ASIM department of the LIP6 laboratory.

And listen — we need your feedback to improve the documentation and the tools. So like, please tell them things 🙈💖

---

And that's the whole page, bestie! This one came from ASIM/LIP6, dated October 1, 1997 — yes, a 90s legend, still serving 💅👑 bye bye, go unmark some nodes 🦋✨