DELBDDNODEASSOC(3)

🌸 NAME 🌸

okay so delbddnodeassoc is the function that deletes a bdd node in a variable association. this page lives in the BDD FUNCTIONS manual and is giving DELBDDNODEASSOC(3) main-character energy, no cap 💅.

🦋 ORIGIN 🦋

bestie, 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. the links are literally:

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

✨ SYNOPSIS ✨

the signature is exactly this, no edits:

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

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. yes, the whole system.
• BddAssoc — the variable association.
• Variable — the variable number.

💅 DESCRIPTION 💅

okay so delbddnodeassoc deletes the bdd node associated to the variable number Variable, in the variable association BddAssoc, in the bdd system BddSystem. if a null pointer is given, the default bdd system is used. also, the number of external reference of the associated bdd node is incremented — not decremented, not ignored, incremented. periodt.

🔥 RETURN VALUE 🔥

delbddnodeassoc returns 1 if the variable is found, and 0 otherwise. cute little boolean, fr fr.

💀 ERRORS 💀

the error string: "variable xxx out of range, error !"

that error means the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. read it again bestie: less or equal, exactly as the page says.

🧚 EXAMPLE 🧚

here’s the whole example, copied exactly because we do not mess with code:

       #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 );
          delbddnodeassoc( (bddsystem ∗)0, Assoc, Variable );
          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 too, bestie 🫶.

🫶 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 feedback matters 💖.

with love from ASIM/LIP6, dated October 1, 1997 — DELBDDNODEASSOC(3) signing off 💅🦋✨