ADDBDDASSOC(3)

💖 ADDBDDASSOC(3) — BDD FUNCTIONS 💖

okay so this is a page from the BDD FUNCTIONS manual (section 3, bestie, we're in library-call territory ✨). Sit down, grab a boba, and let's talk about making association variables. 🧚

---

🌈 NAME 🌈

addbddassoc — creates a new association variables. 💅

That's it. That's the job. She makes you a fresh variable association and she does it slayfully. 👑

---

🏛️ 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

Like... a whole French research institution made this. Iconic behaviour fr fr. 🇫🇷💖

---

✨ SYNOPSIS ✨

#include "bdd101.h"
bddassoc ∗addbddassoc( BddSystem )
  bddsystem  ∗BddSystem;

one function, one argument, zero drama. 🍓

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. that's the vibe. that's the whole parameter. 💫

---

🦋 DESCRIPTION 🦋

addbddassoc creates a new association variables in the bdd system BddSystem. 🫶

and listen — if you hand her a null pointer, she's not gonna be mad, she's just gonna use the default bdd system instead. no cap. 💛

---

⭐ RETURN VALUE ⭐

addbddassoc returns a pointer to the new variable association. 🎁✨

---

💀 ERRORS 💀

• "no more variable association, error !" — There is no variable association number left.

like... you ran out. she has nothing left to give. the association economy has collapsed. 😭

---

👑 EXAMPLE 👑

okay bestie here's the full run, verbatim, don't touch a single character: 🔥

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   bddnode    ∗BddSubst;
   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" ) );
   BddNode = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = createablbinexpr( ABL_OR,
                            createablatom( "i2" ),
                            createablatom( "i3" ) );
   BddSubst = 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, BddSubst );
   BddNode = substbddnodeassoc( (bddsystem ∗)0, BddSubst, Assoc );
   delbddassoc( (bddsystem ∗)0, Assoc );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays ((i3 or i2) and i1) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddassoc( (bddsystem ∗)0 );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

not the hello_world circuit 😭💖 and it even tells you what it displays: ((i3 or i2) and i1). she ATE and left no crumbs. 🔥

---

🌸 SEE ALSO 🌸

• bdd(1) — go read her too, she's the main character of the family. 🫶

---

🐛 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 feedback. give them the feedback. don't leave them on read. 💌

---

and that's the whole page, no notes. 💅

signed off from ASIM/LIP6, dated October 1, 1997 — yes bestie, the nineteen ninety seven, she's vintage, she's archival, she's timeless, and she's still out here documenting BDD associations like the absolute icon she is. 👑✨