APPLYBDDNODETERM(3)

💖 APPLYBDDNODETERM(3) — BDD FUNCTIONS 💖

okay bestie, welcome to applybddnodeterm from the BDD FUNCTIONS corner of the manual universe ✨

---

🌸 NAME 🌸

applybddnodeterm — applies an operator on two bdd nodes. literally that's the whole gig 🫶

---

🏛️ 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. très chic, no cap 🇫🇷💅

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

---

✨ SYNOPSIS ✨

#include "bdd101.h"
bddnode ∗applybddnodeterm( BddSystem, Oper, Index, BddNode )
  bddsystem ∗BddSystem;
  long       Oper;
  bddindex   Index;
  bddnode   ∗BddNode;

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system, bestie. your whole little universe of nodes.
• Oper — the binary operator. the vibe you're applying.
• Index — the index of the terminal bdd node.
• BddNode — the bdd node itself, the main character.

---

💜 DESCRIPTION 💜

so applybddnodeterm computes the boolean function BddNode Oper and the terminal node corresponding to Index in the bdd system BddSystem. that's it, that's the function 🧚

the Index parameter can take only the two following values: BDD_INDEX_ONE and BDD_INDEX_ZERO. that's the whole menu, don't get creative 🙈

and if a null pointer is given, the default bdd system is used. convenient ✨

---

🌈 RETURN VALUE 🌈

applybddnodeterm returns a pointer to the resulting bdd node with its number of external reference incremented. so like, it's giving you a node and bumping its ref count. obsessed 💖

---

💀 ERRORS 💀

• "bad operator xxx error !" — the Oper parameter must be a valid binary operator. if it's not, you get this. periodt.

---

🔥 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 );
   BddNode = applybddnodeterm( (bddsystem ∗)0,
                               ABL_XOR, BDD_INDEX_ONE,
                               searchbddcircuitin( (bddcircuit ∗)0, "i0" ) );
   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
   /* displays (not i0) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

notice that /* displays (not i0) */ comment? that's the actual output, bestie. it ate. 🔥

---

👑 SEE ALSO 👑

• bdd(1)

---

🦋 BUG REPORT 🦋

this tool is under development at the ASIM department of the LIP6 laboratory. they need your feedback to improve documentation and tools — so like, tell them things, they're literally asking 🙏

---

and that's the page!! written by ASIM/LIP6, dated October 1, 1997 — yes it's older than most of us and it still slays 💅✨ bye bestie, go apply some operators 🎀