RELPRODBDDNODEASSOC(3)

💖 RELPRODBDDNODEASSOC(3) — BDD FUNCTIONS, bestie edition 💖

okay so this is the manual page for relprodbddnodeassoc from the BDD FUNCTIONS girlies, and we're gonna get you comfy with it. no cap. 💅

🌸 NAME 🌸

relprodbddnodeassoc — computes a relational product. that's the whole assignment, and it ate. ✨

🦋 ORIGIN 🦋

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 ✨

the include + signature vibe is exactly this, bestie:

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

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. main character system energy.
• BddNode1 — the first bdd node.
• BddNode2 — the second bdd node.
• BddAssoc — the variable association.

💅 DESCRIPTION 💅

ok so relprodbddnodeassoc computes BddNode1 AND BddNode2, and suppress the variables associated with something in the variable association BddAssoc, in the bdd system BddSystem. that's the tea. 🫖

If a null pointer is given, the default bdd system is used. periodt.

💖 RETURN VALUE 💖

relprodbddnodeassoc returns the computed bdd node. that's the return value, and it's iconic. 👑

😭 ERRORS 😭

"bad variable association xxx, error !"

BddAssoc must be a valid variable association. no valid assoc? it's giving error message, bestie. 💀

🔥 EXAMPLE 🔥

here's the example, copied exactly so you can run the vibe check:

#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 );

🌈 SEE ALSO 🌈

• bdd(1) — go look, bestie. 🦋

👑 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 want the feedback. 🫶

cute little sign-off: source/version is ASIM/LIP6, date is October 1, 1997, and the page is RELPRODBDDNODEASSOC(3). slay and read the docs. 💖