EXISTBDDNODEASSOCOFF(3)

✨ EXISTBDDNODEASSOCOFF ✨

okay bestie so this is existbddnodeassocoff(3) from the BDD FUNCTIONS girlies, and she's literally just here to compute an existential quantification for you 💅 no cap.

---

🌸 NAME 🌸

existbddnodeassocoff — computes an existential quantification. that's it. that's the whole job. iconic behavior fr fr 💖

---

🦋 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 🇫🇷✨

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

like they're literally in Paris doing EDA, main character energy honestly 🥐

---

🎀 SYNOPSIS 🎀

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

three args, one function, zero drama 🫶

---

🌈 PARAMETERS 🌈

• BddSystem — the bdd system. that's her. the whole system.
• BddNode — the bdd node to treat. the one getting the treatment ✨
• BddAssoc — the variable association. the vibes list, if you will.

---

💖 DESCRIPTION 💖

okay so listen. existbddnodeassocoff suppresses in the bdd node BddNode complemented, all the variables associated with something in the variable association BddAssoc, in the bdd system BddSystem.

and if you hand her a null pointer? she's not gonna fight you about it — the default bdd system is used. lowkey generous of her ngl 💅

---

👑 RETURN VALUE 👑

existbddnodeassocoff returns the computed bdd node. she gives and she gives 🌟

---

💀 ERRORS 💀

• "bad variable association xxx, error !" — The BddAssoc parameter must a valid variable association. like bestie. she needs a valid one. don't do this to her 😭

---

🍓 EXAMPLE 🍓

here's the whole thing, verbatim, not me editing a single character of it:

#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_NAND,
                            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 = existbddnodeassocoff( (bddsystem ∗)0, BddNode, Assoc );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays (not i1) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddassoc( (bddsystem ∗)0 );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

and yeah, that comment in there says it all: it /* displays (not i1) */. she ate and left no crumbs 🧚

---

🔥 SEE ALSO 🔥

• bdd(1)

go read that one too, iykyk 📚

---

🐛 BUG REPORT 🐛

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

like genuinely, they're asking. send the feedback bestie, they're building in public before it was cool 🙈

---

ASIM/LIP6 ✨ October 1, 1997 ✨ and yes she's an OG from 1997 and still serving EXISTBDDNODEASSOCOFF(3) realness. periodt 💜