ISBDDVARINSUPPORT(3)

💅 ISBDDVARINSUPPORT(3) 💅

ok so bestie, welcome to the bdd function family — this one lives in the BDD FUNCTIONS section of the third manual, and it's genuinely one of the cutest little helpers in the whole set. it's called isbddvarinsupport and it literally just answers one yes/no question for you. no cap. 🦋

---

✨ ORIGIN ✨

ok so this software is part of the ALLIANCE CAD SYSTEM, built by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. very main character, very French, we love that for them. 🥖✨

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

---

🌸 SYNOPSIS 🌸

ok here's the vibe, exactly as written:

#include "bdd101.h"
int isbddvarinsupport( BddSystem, BddNode, Variable )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;
  bddvar     Variable;

---

🎀 PARAMETERS 🎀

three args, all besties, here's the rundown:

• BddSystem — the bdd system 💖 (and heads up: if you hand it a null pointer, the default bdd system gets used instead, no drama)
• BddNode — the bdd node in question 🧚
• Variable — the variable number you're asking about ⭐

---

💜 DESCRIPTION 💜

ok so here's what this icon actually does: isbddvarinsupport tests whether the variable numbered Variable shows up in the support of the bdd node BddNode, inside the bdd system BddSystem. 🔍✨

and the cute part: if a null pointer is given, the default bdd system is used. so you don't have to pass anything if you're feeling lazy. slay. 💅

---

🔥 RETURN VALUE 🔥

• 1 if Variable appears ✨
• 0 otherwise 💀

that's it. that's the whole answer. periodt.

---

🌈 ERRORS 🌈

• "variable xxx out of range, error !" — the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. that's the rule, bestie, out of range means error. 🙈

---

🍓 EXAMPLE 🍓

ok here's a whole little program showing the vibe — copying it exactly:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   bddnode    ∗BddVariable;
   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 ) );
   /* displays 1 */
   printf( "%d", isbddvarinsupport( (bddsystem ∗)0, BddNode, Variable ) );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

see that /* displays 1 */? yeah. it prints 1. we love a predictable queen. 👑 (and yes, that example is written exactly like the original — i'm not touching it, iykyk.)

---

🫶 SEE ALSO 🫶

• bdd(1) — go read it, bestie, it's the gateway ✨

---

💀 BUG REPORT 💀

ok so this tool is under development at the ASIM department of the LIP6 laboratory. 🛠️

and fr fr: they need your feedback to improve documentation and tools. so if something's weird, tell them. be nice about it. 🥺💖

---

lowkey reminder: this whole page is the ASIM/LIP6 era — dated October 1, 1997 — and it's page ISBDDVARINSUPPORT(3) of the manual. genuinely vintage. iconic behavior. 🎀✨🦋