DESTROYBDDASSOC(3)

💅 DESTROYBDDASSOC(3) — BDD FUNCTIONS 💅

okay so this is a page from the BDD FUNCTIONS manual, section 3 (library calls, bestie) 💖 pull up a chair.

---

✨ NAME ✨

destroybddassoc — frees all the variable associations. that's it. that's the whole job. she's a cleanup queen and she ate 💅

---

🌸 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. oui oui baguette 🥖✨

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

---

🦋 SYNOPSIS 🦋

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

no cap, that's the whole signature 🫶

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. the one and only. the main character of this function ngl 👑

---

💜 DESCRIPTION 💜

destroybddassoc frees all the variable associations in the bdd system BddSystem. like, all of them. every last one. she does not do partial. periodt 💅

and if you hand her a null pointer? no drama — the default bdd system gets used instead. iconic, honestly 🙈

---

⭐ RETURN VALUE ⭐

destroybddassoc returns nothing. literally nothing. void. empty. she gives you zero back and honestly? that's valid 😭

---

🔥 ERRORS 🔥

none listed. no errors section content. she simply doesn't miss 💀

---

🌈 EXAMPLE 🌈

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

ok the little comment says /* displays ((i3 or i2) and i1) */ and yes she really does 💖 the way that substitution just *works*… obsessed 🧚

---

👑 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. fr fr, your girl needs the tea ☕💀 please tell them what's broken!!

---

lowkey reminder: destroybddassoc frees all the variable associations in BddSystem, and if you pass a null pointer the default bdd system gets used. don't be surprised when your default system comes back with no associations 💅

---

that's the whole page bestie, hope it slayed 🌸 from ASIM/LIP6, dated October 1, 1997, DESTROYBDDASSOC(3) — a vintage icon, truly a 90s queen 👑✨