RELPRODBDDNODEASSOC(3)

✨ RELPRODBDDNODEASSOC(3) ✨

okay bestie, gather round, because today we're talking about relprodbddnodeassoc from the BDD FUNCTIONS section of the manual 💅 this is a C function, she's giving very much "3" energy, and honestly? she's iconic for what she does.

---

🎀 NAME 🎀

relprodbddnodeassoc — she computes a relational product. that's it, that's the whole vibe. no cap. 🦋

---

🌸 ORIGIN 🌸

so this software is part of the ALLIANCE CAD SYSTEM, which was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷✨ (yes, the Paris, très chic, very main character).

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

like, they literally put their whole contact info in here so you can slide into their inbox. respectful. 🫶

---

👑 SYNOPSIS 👑

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

look at that signature. she's serving parameters. 😌

---

💖 PARAMETERS 💖

• BddSystem — the bdd system. your whole world, basically.
• BddNode1 — the first bdd node. the og.
• BddNode2 — the second bdd node. the sequel.
• BddAssoc — the variable association. the one who decides what gets suppressed.

---

🌈 DESCRIPTION 🌈

okay so here's the tea ☕ relprodbddnodeassoc computes BddNode1 AND BddNode2, and then it suppresses the variables that are associated with something in the variable association BddAssoc, all inside the bdd system BddSystem.

and listen — if a null pointer is given, the default bdd system is used. so like, she's flexible. she adapts. periodt. 💅

---

⭐ RETURN VALUE ⭐

relprodbddnodeassoc returns the computed bdd node. that's your prize bestie, take it 🎁

---

🚨 ERRORS 🚨

• "bad variable association xxx, error !" — the BddAssoc parameter must be a valid variable association. like, it's giving invalid and she is not having it. 😭 fix your assoc before you come to her.

---

🧚 EXAMPLE 🧚

okay here's a whole little program, read it and weep (affectionately):

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   bddnode    ∗BddNode1;
   bddnode    ∗BddNode2;
   bddnode    ∗BddVariable;
   bddassoc   ∗Assoc;
   chain_list ∗Expr;
   bddvar         Variable;
   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" ) );
   BddNode2 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddVariable = searchbddcircuitin( (bddcircuit ∗)0, "i0" );
   Variable = getbddvarbyindex( (bddsystem ∗)0, BddVariable->INDEX );
   Assoc = addbddassoc( (bddsystem ∗)0 );
   addbddnodeassoc( (bddsystem ∗)0, Assoc, Variable, BddSystem->ONE );
   BddNode = relprodbddnodeassoc( (bddsystem ∗)0, BddNode1, BddNode2, Assoc );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays i1 */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddassoc( (bddsystem ∗)0 );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

and yes, the comment /* displays i1 */ is doing a lot of heavy lifting in there and we love her for it 💜

---

🔥 SEE ALSO 🔥

bdd(1) — go read that one too, iykyk.

---

💀 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, if something's weird, tell them! constructive vibes only.

---

and that's the whole page bestie 🎀 this was RELPRODBDDNODEASSOC(3) from ASIM/LIP6, dated October 1, 1997 — yes she's a 90s baby and she's still out here computing relational products. legacy behavior, honestly. slay 💅✨