EXISTBDDNODEASSOCON(3)

💖 EXISTBDDNODEASSOCON(3) — like, the BDD FUNCTIONS manual, bestie 💖

okay so you opened the manual for existbddnodeassocon and honestly? it's giving "small function, big brain energy". let's get into it 🦋

---

✨ NAME ✨

existbddnodeassocon — computes an existential quantification. that's the whole job, she's focused, she's booked, periodt 💅

---

🌈 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. yes, Paris. iconic. 🇫🇷✨

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

like, actual humans, actual lab, actual city of lights. we love to see it 🫶

---

🎀 SYNOPSIS 🎀

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

three args, one node, zero drama (well, mostly) 💖

---

🌸 PARAMETERS 🌸

• BddSystem — the bdd system. your whole world, basically.
• BddNode — the bdd node to treat. the main character of this operation, no cap.
• BddAssoc — the variable association. this is the list of who's getting evicted.

---

💅 DESCRIPTION 💅

okay so here's the tea ☕: existbddnodeassocon suppresses, inside BddNode, 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 doesn't spiral, she just uses the default bdd system. lowkey considerate of her tbh 🙈

---

⭐ RETURN VALUE ⭐

existbddnodeassocon returns the computed bdd node. that's your prize, bestie, take it 🎁

---

🚨 ERRORS 🚨

• "bad variable association xxx, error !" — the BddAssoc parameter must a valid variable association. so like, give her a real one, not a vibe. 💀

---

🧚 EXAMPLE 🧚

fr fr, here's the whole thing, verbatim, don't touch a character:

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

and yes, the /* displays i1 */ comment is the payoff — i0 got existentially quantified away and i1 is the one still standing. she ate. 👑

---

🔥 SEE ALSO 🔥

• bdd(1) — go read it, iykyk 📚

---

💜 BUG REPORT 💜

this tool is under development at the ASIM department of the LIP6 laboratory. they need your feedback to improve documentation and tools — so like, if something's off, tell them! they're literally asking 🥺

---

reminder bestie: every option, every pointer, every ∗ stays exactly where it is. the vibe is new, the facts are not. periodt. 💅✨

---

this page came to you from ASIM/LIP6, dated October 1, 1997 — yes, 1997, she's vintage, she's a classic, and she's still serving. mwah 💖🎀🦋🌸