APPLYBDDNODEITE(3)

💅 applybddnodeite — the IF-THEN-ELSE baddie

okay so this is a page from BDD FUNCTIONS, specifically the applybddnodeite(3) one, and bestie it is so much less scary than it looks. it's literally just "if this then that else the other thing" but for BDD nodes. we love a logical queen. ✨

🌸 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

like, they're in Paris, the whole thing is giving main character energy fr fr.

✨ SYNOPSIS ✨

#include "bdd101.h"
bddnode ∗applybddnodeite( BddSystem, BddIf, BddThen, BddElse )
  bddnode   ∗BddSystem;
  bddnode   ∗BddIf;
  bddnode   ∗BddThen;
  bddnode   ∗BddElse;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. that's the whole universe this operation lives in.
• BddIf — the IF bdd node. the vibe check, the condition, the "okay but *if*…"
• BddThen — the THEN bdd node. what we do when the IF says yes.
• BddElse — the ELSE bdd node. the backup plan, the "nvm we ball anyway" node.

🦋 DESCRIPTION 🦋

so applybddnodeite computes this exact logical function:

(BddIf AND BddThen) OR ((NOT BddIf) AND BddElse)

in the bdd system BddSystem. it's giving classic mux energy, it's giving "choose your fighter", it's the whole IF-THEN-ELSE moment.

and here's the cute part: if a null pointer is given, the default bdd system is used. so you can literally just pass (bddsystem ∗)0 and the function will handle it. no cap, that's a slay. 🫶

💖 RETURN VALUE 💖

applybddnodeite returns a pointer to the resulting bdd node, with its number of external reference incremented. so yeah, she comes with a ref count bump already attached. iconic behavior honestly. 👑

🔥 EXAMPLE 🔥

okay so here's the whole thing, verbatim, because we do not play with code around here:

#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 );
   addbddcircuitin( (bddcircuit ∗)0, "i2", 0, BDD_IN_MODE_FIRST );
   BddNode = applybddnodeite( (bddsystem ∗)0,
                              searchbddcircuitin( (bddcircuit ∗)0, "i0" ),
                              searchbddcircuitin( (bddcircuit ∗)0, "i1" ),
                              searchbddcircuitin( (bddcircuit ∗)0, "i2" ) );
   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
   /* displays ((i0 and i1) or ((not i0) and i2) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

see how it sets up i0, i1, i2 as inputs, then feeds them straight into applybddnodeite as the if / then / else trio? that comment at the bottom literally spells out the resulting expression: ((i0 and i1) or ((not i0) and i2). chef's kiss. 🧚 and then it cleans up after itself with freeablexpr, destroybddsystem and destroybddcircuit — we love a tidy bestie. 💅

🌈 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 your feedback. if something's weird, tell them. be the change etc. 🙈

⭐ and that's the whole page!! brought to you by ASIM/LIP6, dated October 1, 1997 — yes she's vintage, yes she still serves. mwah. 🎀💜