IMPLYBDDNODE(3)

✨ NAME ✨

implybddnode — bestie, this one computes a bdd that implies a conjonction of two bdd nodes. 💅 (yes we're spelling it the way the page spells it, no notes, it's iconic)

---

🌸 ORIGIN 🌸

Okay so this software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at 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

---

🎀 SYNOPSIS 🎀

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

---

🦋 PARAMETERS 🦋

• BddSystem — the bdd system. the whole vibe, the main character, the one holding everything together.
• BddNode1 — the first bdd node. 👑
• BddNode2 — the second bdd node. 💖

---

💜 DESCRIPTION 💜

So implybddnode tests if the intersection of BddNode1 and not BddNode2 exists, in the bdd system BddSystem. literally that's it, that's the whole test. 🔍

And listen — if a null pointer is given, the default bdd system is used. no cap, it just fills in for you. 🫶

---

🌈 RETURN VALUE 🌈

implybddnode returns the bdd node zero if there is no intersection, and a computed bdd node otherwise. so: zero = no intersection, anything else = it's giving intersection. ⭐

---

🔥 EXAMPLE 🔥

here's the example, verbatim, exactly as it appears in the page — no touchies:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode1;
   bddnode    ∗BddNode2;
   bddnode    ∗BddImply;
   chain_list ∗Expr;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   Expr = createablbinexpr( ABL_OR,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode1 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = createablbinexpr( ABL_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode1 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddImply = implybddnode( (bddsystem ∗)0, BddNode1, BddNode2 );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays (i0 and (not i1)) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

and yeah, the comment says it displays (i0 and (not i1)), so that's the moment. 💅

---

🧚 SEE ALSO 🧚

• bdd(1) — go read it bestie, iykyk 📖

---

💀 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. don't leave them on read. 😭📩

---

okay that's the whole page, mwah 💖 stay slay, stay linked, and remember: if it returns zero, there's no intersection, periodt.

— from the ASIM/LIP6 girlies, dated October 1, 1997, living in manual section IMPLYBDDNODE(3) (BDD FUNCTIONS). byeee 🎀🦋🌸