APPLYBDDNODE(3)

💅 applybddnode(3) — bdd functions, bestie!

okay so this one's from the APPLYBDDNODE(3) corner of the BDD FUNCTIONS manual, and it's literally the glow-up your boolean logic has been waiting for ✨

---

🌸 NAME 🌸

applybddnode — applies an operator on two bdd nodes. that's it, that's the whole vibe 🎀

---

🧚 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 royalty, no cap 👑

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

like, if you need to slide into their inbox, that's the address 🫶

---

✨ SYNOPSIS ✨

#include "bdd101.h"
bddnode ∗applybddnode( BddSystem, Oper, BddNode1, BddNode2 )
  bddsystem ∗BddSystem;
  long       Oper;
  bddnode   ∗BddNode1;
  bddnode   ∗BddNode2;

---

🦋 PARAMETERS 🦋

• BddSystem — the bdd system. your whole little bdd universe 🪐
• Oper — the binary operator. the actual move being made 💅
• BddNode1 — the first bdd node. main character #1
• BddNode2 — the second bdd node. main character #2

---

💖 DESCRIPTION 💖

so applybddnode computes the boolean function BddNode1 Oper BddNode2 inside the bdd system BddSystem. it's giving "put these two nodes in a room and make them do math" 🔥

and listen — if a null pointer is given, the default bdd system is used. convenient? absolutely. slay 🌈

---

⭐ RETURN VALUE ⭐

applybddnode returns a pointer to the resulting bdd node, with its number of external reference incremented. so yes, the refcount goes up, that's on purpose, don't panic 🫶

---

💀 ERRORS 💀

• "bad operator xxx error !" — the Oper parameter must be a valid binary operator. like, it has to be. no fake operators allowed bestie 😭

---

🌸 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 );
   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" ) );
   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
   /* displays (i0 and i1) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

look at that — hello_world, two inputs i0 and i1, ABL_AND doing its thing, and then the comment literally says it displays (i0 and i1). ate and left no crumbs 💅

---

🔥 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. fr fr, they're asking — so if something's wonky, tell them 🙈

---

ngl this one's short but it does exactly what it says on the tin: two nodes, one operator, one very incremented reference count 🍓

---

<div align="center">💜 mwah 💜</div>

signing off with all the love from ASIM/LIP6, dated October 1, 1997, page APPLYBDDNODE(3) — vintage but still slaying 👑✨