APPLYBDDNODENOT(3)

✨ APPLYBDDNODENOT(3) — the bdd-glow-up page ✨

okay bestie, this is a page from the BDD FUNCTIONS manual, and it's literally the applybddnodenot page, section 3, and yes it's giving "tiny function, huge main character energy". 💅

---

🎀 NAME 🎀

applybddnodenot — complements a bdd.

like. it takes a bdd node and just. complements it. that's the whole vibe. no cap. ✨

---

🌸 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. 🇫🇷

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

so it's French, it's academic, it's iconic, it's been here since forever. periodt. 👑

---

🦋 SYNOPSIS 🦋

#include "bdd101.h"
bddnode ∗applybddnodenot( BddSystem, BddNode )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;

(yes the signature is that short, and honestly? she's efficient. we respect it. 💖)

---

🌈 PARAMETERS 🌈

• BddSystem — the bdd system. like, the whole system you're working in, bestie.
• BddNode — the bdd node to complement. the one getting the glow-up. ✨

---

💖 DESCRIPTION 💖

So, applybddnodenot complements BddNode in the bdd system BddSystem.

And here's the little plot twist, the lowkey important part: if a null pointer is given, the default bdd system is used. so if you pass (bddsystem ∗)0 you're not being chaotic, you're just saying "use the default one". she understands. she's got you. 🫶

---

👑 RETURN VALUE 👑

applybddnodenot returns a pointer to the resulting bdd node — and its number of external reference is incremented. so, like, you got a new node AND the ref count went up. that's the deal. 💅

---

🍓 EXAMPLE 🍓

here's the whole little story, verbatim, no notes:

#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 );
   addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
   addbddcircuitin( (bddcircuit ∗)0, "i1", 0, BDD_IN_MODE_FIRST );
   BddNode = applybddnode( (bddsystem ∗)0,
                           ABL_AND,
                           searchbddcircuitin( (bddcircuit ∗)0, "i0" ),
                           searchbddcircuitin( (bddcircuit ∗)0, "i1" ) );
   BddNode = applybddnodenot( (bddsystem ∗)0, decbddrefext( BddNode ) );
   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
   /* displays (i0 nand i1) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

and yes, the /* displays (i0 nand i1) */ comment is the whole flex. ABL_AND plus a complement = nand. the math ate and left no crumbs. 🔥 (also can we talk about hello_world being the circuit name, so cute 🥺)

---

🌟 SEE ALSO 🌟

• bdd(1)

---

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory.

We need your feedback to improve documentation and tools.

bestie they are literally asking for feedback, so if you found a typo or a confusing bit, TELL THEM. it's not snitching, it's contributing. 💖

---

🧚 cute lil sign-off 🧚

That's the page, bestie — from ASIM/LIP6, dated October 1, 1997, and it lives under APPLYBDDNODENOT(3). mwah. 💋 stay complemented. 💅✨🦋