ADDBDDASSOC(3)

💅 ADDBDDASSOC(3) — BDD FUNCTIONS 💅

okay so bestie, this is the manual page for addbddassoc — yes, the little function that makes a new association variables thing. It's giving small function, big main character energy. Let's go. 🫶

✨ NAME ✨

addbddassoc — creates a new association variables. periodt. 💅

🌈 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.

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

🦋 SYNOPSIS 🦋

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

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. that's it. that's the parameter. 💖

👑 DESCRIPTION 👑

addbddassoc creates a new association variables in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. no cap, that's the whole vibe. ✨

🔥 RETURN VALUE 🔥

addbddassoc returns a pointer to the new variable association. slay. 🫶

💀 ERRORS 💀

• "no more variable association, error !" — there is no variable association number left. and yes, the space before the exclamation is part of the string, bestie. 🙈

🌸 EXAMPLE 🌸

okay here's the full example, copied exactly because we do not mess with code in this group chat:

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

🧚 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, they want the feedback. 🫶

source/version: ASIM/LIP6 — date: October 1, 1997. okay bye bestie, stay iconic! 💖✨