DELBDDASSOC(3)

💖 NAME 💖

Bestie, meet delbddassoc(3) — it's the BDD FUNCTIONS girly whose whole job is deleting a variable association. That's it. That's the gig. And she ate. 💅

---

🌸 ORIGIN 🌸

Okay so 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. Paris!! Iconic behavior. 🥐

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

---

✨ SYNOPSIS ✨

#include "bdd101.h"
int delbddassoc( BddSystem, BddAssoc )
  bddsystem  ∗BddSystem;
  bddassoc   ∗BddAssoc;

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system, your main character. 👑
• BddAssoc — the variable association you're about to delete. Say bye bestie 🫶

---

🦋 DESCRIPTION 🦋

So delbddassoc deletes the variable association BddAssoc inside the bdd system BddSystem. No cap.

If you hand it a null pointer, it just uses the default bdd system instead. Very "don't worry about it, I got you" of it. 💜

And here's the lowkey important part: for all the bdd nodes of the variable association BddAssoc, the number of external reference is decremented. Every single one. It's giving responsible cleanup energy fr fr. 🧚

---

⭐ RETURN VALUE ⭐

delbddassoc returns 1 if the variable association is found, and 0 otherwise. Boom. Binary. Periodt. 💅

---

🔥 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 = delbddassoc( (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, it really does display ((i3 or i2) and i1) — the comment said so, so we said so. 🍓

---

🌈 SEE ALSO 🌈

• bdd(1)

Go read it, bestie, it's the whole universe this page lives in. 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 — like, genuinely, they're asking nicely, don't leave them on read. 🙈

---

This page came straight out of the ASIM/LIP6 era, dated October 1, 1997 (yes, before most of us could walk), and it lives in section 3 of the manual as DELBDDASSOC(3). Stay slay, decrement responsibly, and always free your expr. 💜✨