INTERSECTBDDNODE(3)

✨ INTERSECTBDDNODE(3) — BDD FUNCTIONS ✨

okay so bestie, we're diving into intersectbddnode from the BDD FUNCTIONS manual page (section 3, for the record 📖) — it's a little function with a big question: do these two nodes overlap at all? let's get into it 💅

🌸 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 🗼🥖 (yes, that Paris, the iconique one)

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

like, the whole lineage, the receipts, the provenance — we love a documented origin story 🫶

🦋 SYNOPSIS 🦋

#include "bdd101.h"
bddnode *intersectbddnode( BddSystem, BddNode1, BddNode2 )
  bddsystem *BddSystem;
  bddnode   *BddNode1;
  bddnode   *BddNode2;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. your whole bdd universe, basically 🌌
• BddNode1 — the first bdd node 👯
• BddNode2 — the second bdd node 👯‍♀️

💖 DESCRIPTION 💖

so intersectbddnode tests if the intersection of BddNode1 and BddNode2 exists, inside the bdd system BddSystem ✨ it's giving vibe check for node overlap, fr fr.

and listen — if a null pointer is given, the default bdd system is used. no cap, it just falls back automatically 🍓

🔥 RETURN VALUE 🔥

intersectbddnode returns the bdd node zero if there is no intersection (💀 they do NOT overlap), and a computed bdd node otherwise (👑 they DO, main character energy).

🌈 EXAMPLE 🌈

#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_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode1 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = createablbinexpr( ABL_OR,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode1 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddImply = intersectbddnode( (bddsystem *)0, BddNode1, BddNode2 );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays (i0 and i1)) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem *)0 );
   destroybddcircuit( (bddcircuit *)0 );

bestie this example is a whole journey — building a system, building a circuit called hello_world (iconique name, no notes), making expressions with ABL_AND and ABL_OR, and then hitting intersectbddnode with a null system so it grabs the default 💫 and yes, the comment literally says /* displays (i0 and i1)) */ — we keep it exactly as it is, typos and all, that's the original's moment 🎀

💜 SEE ALSO 💜

• bdd(1) — go read it, 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 — like genuinely, send the feedback, they're asking nicely, don't leave them on read 🙈💌

and that's the whole page, bestie! 🧚 ASIM/LIP6 · October 1, 1997 · INTERSECTBDDNODE(3) — vintage manpage, still slaying 💅⭐