ADDBDDNODE(3)

💖 ADDBDDNODE(3) — BDD FUNCTIONS 💖

okay bestie, gather round, because we're about to talk about addbddnode from the BDD FUNCTIONS crew (that's section 3 of the manual, iykyk) 🦋

---

✨ NAME ✨

addbddnode — adds a new bdd node in the bdd system. periodt.

---

🌸 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 academic behaviour, no cap.

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

---

🎀 SYNOPSIS 🎀

#include "bdd101.h"
bddnode ∗addbddnode( BddSystem, Index, High, Low  )
  bddsystem ∗BddSystem;
  bddindex   Index;
  bddnode   ∗High;
  bddnode   ∗Low;

---

💅 PARAMETERS 💅

• BddSystem — the bdd system. like, the whole vibe container.
• Index — the bdd index.
• High — the bdd high pointer.
• Low — the bdd low pointer.

---

🫶 DESCRIPTION 🫶

so addbddnode adds a new node with the index Index, High as HIGH pointer, and Low as LOW pointer in the bdd system BddSystem. the way it's just doing exactly what it says on the tin, we love a transparent king 👑

and here's the cute part: if the bdd node exist already, addbddnode return its pointer. it's not gonna make a whole duplicate, it's giving efficient 💀✨

also, if a null pointer is given, the default bdd system is used. so if you're feeling lazy and pass nothing, it's got you 🥰

---

⭐ RETURN VALUE ⭐

addbddnode returns a pointer to the resulting bdd node, with its number of external reference incremented. yes bestie, the refcount goes up, that's the whole point 🙈

---

💀 ERRORS 💀

• "index xxx out of range" — the Index parameter must be a valid index. no skipping the vibe check on this one fr fr.

---

🌈 EXAMPLE 🌈

#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 );
   BddNode = addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
   BddNode = addbddnode( (bddsystem ∗)0, BddNode->INDEX, BddNode->LOW, BddNode->HIGH );
   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
   /* displays (not i0) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

look at that swap of LOW and HIGH — main character energy honestly, it's giving "not i0" and the comment literally says so 🎀

---

🔥 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, please send the feedback, do it for the plot 🫶

---

and that's the whole page!! 💖 this was ASIM/LIP6, dated October 1, 1997 — yeah it's vintage but it ate and left no crumbs, slay 👑✨