EXISTBDDNODEASSOCOFF(3)

💖 existbddnodeassocoff — the manual page (EXISTBDDNODEASSOCOFF(3)) 💖

okay bestie, buckle up — we're reading the <pink>existbddnodeassocoff</pink> page together, and it's literally about existential quantification. iconic behavior. ✨

🌸 NAME 🌸

• existbddnodeassocoff — computes an existential quantification. That's the whole name-line vibe, no cap. 💅

🦋 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 ⭐

Here's the summoning spell:

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

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. Your main-character system, basically.
• BddNode — the bdd node to treat. This is the node getting the existential-quantification treatment.
• BddAssoc — the variable association. The association that controls which variables are in the mix.

🌈 DESCRIPTION 🌈

okay so <cyan>existbddnodeassocoff</cyan> suppresses, in the bdd node <pink>BddNode</pink> complemented, all the variables associated with something in the variable association <pink>BddAssoc</pink>, inside the bdd system <pink>BddSystem</pink>. If a null pointer is given, the default bdd system is used. periodt. 💅

💜 RETURN VALUE 💜

It returns the computed bdd node. That's it — the computed bdd node, served fresh. ✨

💀 ERRORS 💀

"bad variable association xxx, error !"

This means the <pink>BddAssoc</pink> parameter must be a valid variable association. No fake associations, bestie — it has to be valid.

🍓 EXAMPLE 🍓

Here's a full little demo:

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

🧚 SEE ALSO 🧚

• bdd(1) — go give it a read, 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. So bestie, if you spot something weird, send feedback — they literally need it. 💖

💌 sign-off: this page is from ASIM/LIP6, dated October 1, 1997, and it's filed under EXISTBDDNODEASSOCOFF(3). mwah 💅✨