ADDBDDNODEASSOC(3)

💅 ADDBDDNODEASSOC(3) — addbddnodeassoc

okay so bestie, this page is part of BDD FUNCTIONS (manual section 3), and it's literally about adding a BDD node into a variable association. slay. 🎀

✨ NAME ✨

addbddnodeassoc — adds a bdd node in a variable association. 🦋

🌍 ORIGIN 🌍

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universit� Pierre et Marie CURIE, in Paris, France.

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

📜 SYNOPSIS 📜

       #include "bdd101.h"
       bddassoc ∗addbddnodeassoc( BddSystem, BddAssoc, Variable, BddNode )
         bddsystem  ∗BddSystem;
         bddassoc   ∗BddAssoc;
         bddvar      Variable;
         bddnode    ∗BddNode;

🧸 PARAMETERS 🧸

• BddSystem — the bdd system.
• BddAssoc — the variable association.
• Variable — the variable number.
• BddNode — the bdd node to add.

💖 DESCRIPTION 💖

addbddnodeassoc adds the bdd node BddNode, 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.

The number of external reference of BddNode is incremented. 💅

🫶 RETURN VALUE 🫶

addbddnodeassoc returns a pointer to the variable association.

😭 ERRORS 😭

• "variable xxx out of range, error !" — the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field.

bestie, that's the error to watch for: if the variable is out of range, it's giving error-message energy. 🙈

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

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools. 🫶

xoxo, bestie — this page came from ASIM/LIP6, dated October 1, 1997, and its manual name is ADDBDDNODEASSOC(3). slay. 💖✨