DESTROYBDDASSOC(3)

💖 DESTROYBDDASSOC 💖

okay bestie, welcome to destroybddassoc(3) — it lives in the BDD FUNCTIONS section of the manual and it's literally the cleanup queen of variable associations. no cap. 🧹✨

---

🌸 ORIGIN 🌸

this software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Université Pierre and Marie CURIE, in Paris, France. 🇫🇷

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

---

✨ SYNOPSIS ✨

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

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. that's it. that's the whole parameter. iconic minimalism. 💅

---

🦋 DESCRIPTION 🦋

destroybddassoc frees all the variable associations in the bdd system BddSystem. like, all of them. every last one. gone. periodt.

and if you hand it a null pointer? no stress, bestie — the default bdd system gets used instead. 🫶

---

⭐ RETURN VALUE ⭐

destroybddassoc returns nothing. she gives you absolutely nothing back and that's on purpose. it's giving "my job here is done" energy. 😌

---

💀 ERRORS 💀

(nothing listed here, bestie — this section is empty, so no error drama to report) 🙈

---

🔥 EXAMPLE 🔥

okay so here's the whole vibe in action, fr fr:

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

and yes, the comment says it displays ((i3 or i2) and i1) — that's the moment. main character behavior honestly. 👑

---

🌈 SEE ALSO 🌈

• bdd(1)

---

💜 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, bestie, we're asking nicely. 🥺 send the thoughts, we're obsessed with hearing them.

---

okay that's the whole page!! this one came from ASIM/LIP6, dated October 1, 1997, and it's the destroybddassoc(3) of the BDD FUNCTIONS collection. stay clean, free your associations, and slay 💅✨🎀