GETBDDVARINDEX(3)

✨ GETBDDVARINDEX ✨

okay bestie, we're in the BDD FUNCTIONS section of the manual, and today's main character is getbddvarindex 💅

---

🌸 NAME 🌸

getbddvarindex — literally converts a variable number into a bdd index. that's it. that's the whole gig. ✨

---

🦋 ORIGIN 🦋

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at 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 🎀

#include "bdd101.h"
bddindex getbddvarindex( BddSystem, Variable )
  bddsystem ∗BddSystem;
  bddvar     Variable;

---

💜 PARAMETERS 💜

• BddSystem — the bdd system. your whole lil world, basically.
• Variable — the variable number to convert. the number that's getting its glow-up into an index.

---

👑 DESCRIPTION 👑

getbddvarindex converts the variable number Variable to a bdd index, inside the bdd system BddSystem. no cap.

If a null pointer is given, the default bdd system is used. so you can just vibe and pass nothing meaningful, she'll handle it. 🫶

The function uses simply the translation table BddSystem->VAR_TO_INDEX. that's the whole trick. no secret sauce, no algorithmic drama — just a lookup table doing its thing. iconic behaviour, honestly.

---

⭐ RETURN VALUE ⭐

getbddvarindex returns the bdd index of Variable. yes queen, give us the index. 👑

---

💀 ERRORS 💀

• "variable xxx out of range, error !" — the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. go past that and she WILL clock you. 😭

fr fr, respect the range. NUMBER_VAR is not a suggestion, it's a boundary, and the boundary is real.

---

🌈 EXAMPLE 🌈

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddnode    ∗BddNode;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddNode = addbddvar( (bddsystem ∗)0, 0 );
   /* displays 2 */
   printf( "%d", getbddvarindex( (bddsystem ∗)0, 0 ) );
   destroybddsystem( (bddsystem ∗)0 );

see how it prints 2? that's the moment. the little payoff. ✨

---

🔥 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.

bestie they are literally ASKING for your feedback. do not leave them on read. 💌

---

ASIM/LIP6 🎀 October 1, 1997 — yeah, this page is a 1997 baby and she still ate. thank you for coming to my ted talk, mwah 💖🦋🌸