DELBDDASSOC(3)

🎀 delbddassoc(3) 🎀

okay so this is from BDD FUNCTIONS, and today’s main character is delbddassoc(3) — she deletes a variable association. no cap. 🫶

✨ NAME ✨

delbddassoc — deletes a variable association. periodt. 💅

🌍 ORIGIN 🌍

this software belongs to the ALLIANCE CAD SYSTEM — it was 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"
int delbddassoc( BddSystem, BddAssoc )
  bddsystem  ∗BddSystem;
  bddassoc   ∗BddAssoc;

💜 PARAMETERS 💜

• BddSystem — the bdd system. the whole system vibe.
• BddAssoc — the variable association to delete. the one getting deleted, periodt.

🌸 DESCRIPTION 🌸

okay so delbddassoc deletes the variable association BddAssoc in the bdd system BddSystem. if you pass a null pointer, the default bdd system is used — default system era. 🫶

the way that for all the bdd nodes of the variable association BddAssoc, the number of external reference is decremented? literal bookkeeping, bestie. 💅

⭐ RETURN VALUE ⭐

vibe check: delbddassoc returns 1 if the variable association is found, and 0 otherwise. slay. ✨

🔥 EXAMPLE 🔥

not me keeping every line exactly as written — no edits from me, periodt:

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

👑 SEE ALSO 👑

• bdd(1) — go read that one too, bestie. 💖

💀 BUG REPORT 💀

real talk: 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 feedback matters. 🙈

mwah 💋 — this page is from ASIM/LIP6, dated October 1, 1997. DELBDDASSOC(3) out 💖✨