GETBDDVARBYINDEX(3)

okay bestie, welcome to GETBDDVARBYINDEX(3) from the BDD FUNCTIONS manual — the page that turns a bdd index into a variable number. lowkey iconic, highkey useful, and yes it’s giving lookup-table main character energy 💅✨

✨ NAME ✨

getbddvarbyindex — converts bdd index to a variable number. periodt, that’s the job 🎀

🌸 ORIGIN 🌸

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at LIP6 laboratory of Université Pierre and Marie CURIE, in Paris, France. Paris, France! we love a chic origin story 🦋

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

🦋 SYNOPSIS 🦋

       #include "bdd101.h"
       bddindex getbddvarbyindex( BddSystem, Index )
         bddsystem ∗BddSystem;
         bddindex   Index;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system.
• Index — the bdd index to convert.

💖 DESCRIPTION 💖

getbddvarbyindex converts the bdd index Index to a variable number, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. The function uses simply the translation table BddSystem->INDEX_TO_VAR. that’s it, that’s the whole plot — no extra lore, just a lookup 🫶

🔥 RETURN VALUE 🔥

getbddvarbyindex returns the variable number of the bdd index Index. slay, a return value that does exactly what it says 🔥

💀 ERRORS 💀

• "index xxx out of range, error !" — the Index parameter must be a valid index. ngl, if you pass a bad index, this is the message that will find you 😭

🌈 EXAMPLE 🌈

okay here’s the example, kept exactly as-is so you can run the vibe check yourself:

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

👑 SEE ALSO 👑

• bdd(1) — go read that one too, bestie 👑

🧚 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 pls send feedback, fr fr — docs and tools get better with your help 🫶

source/version: ASIM/LIP6 · date: October 1, 1997 · page: GETBDDVARBYINDEX(3) — bye bestie, go convert those indexes 💜🌷