EXISTBDDNODEASSOCON(3)

✨ NAME ✨

okay bestie, welcome to EXISTBDDNODEASSOCON(3) from the BDD FUNCTIONS manual. The main character here is existbddnodeassocon — it computes an existential quantification. periodt. 💅

🌸 ORIGIN 🌸

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. iconic academic lore fr fr.

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

🦋 SYNOPSIS 🦋

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

🎀 PARAMETERS 🎀

• BddSystem — The bdd system. yes, the whole system vibe.
• BddNode — The bdd node to treat. this is the node getting the treatment. 💅
• BddAssoc — The variable association. the association of variables, iykyk.

💖 DESCRIPTION 💖

so existbddnodeassocon suppresses, in BddNode, all the variables associated with something in the variable association BddAssoc, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. no cap, that's the whole move. ✨

🔥 RETURN VALUE 🔥

existbddnodeassocon returns the computed bdd node. slay. 👑

💀 ERRORS 💀

• "bad variable association xxx, error !" — The BddAssoc parameter must be a valid variable association. so yeah, give it a valid one or catch this error. 😭

🌈 EXAMPLE 🌈

here's the example, bestie — keep it exact, no remixing the 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 );
          BddVariable = searchbddcircuitin( (bddcircuit ∗)0, "i0" );
          Variable = getbddvarbyindex( (bddsystem ∗)0, BddVariable->INDEX );
          Assoc = addbddassoc( (bddsystem ∗)0 );
          addbddnodeassoc( (bddsystem ∗)0, Assoc, Variable, BddSystem->ONE );
          BddNode = existbddnodeassocon( (bddsystem ∗)0, BddNode, Assoc );
          Expr = convertbddcircuitabl( BddCircuit, BddNode );
          /* displays 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. so if you spot something weird, tell the ASIM girlies. 🫶

source/version: ASIM/LIP6 · date: October 1, 1997 · manual: EXISTBDDNODEASSOCON(3) — mwah, bestie 💋✨