ADDBDDVARAFTER(3)

✨ NAME ✨

okay so this is ADDBDDVARAFTER(3) from the BDD FUNCTIONS corner of the manual, bestie 💅 — addbddvarafter adds a new variable, after an existing one. periodt.

🌸 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. iconic academic chaos, honestly 🎀

Web: http://asim.lip6.fr/recherche/alliance/

E-mail: alliance-users@asim.lip6.fr

✨ SYNOPSIS ✨

#include "bdd101.h"
bddnode ∗addbddvarafter( BddSystem )
  bddsystem ∗BddSystem;
  bddindex      Index;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. that’s the whole vibe.
• Index — the bdd index of an existing variable. it has to actually exist, no fake ones 🙈

🦋 DESCRIPTION 🦋

addbddvarafter creates a new variable, with the number BddSystem->INDEX_TO_VAR[ Index ] + 1 in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. lowkey convenient, highkey important 💖

💜 RETURN VALUE 💜

addbddvarafter returns a pointer to the bdd node of the new variable. that pointer is your new main character ✨

💀 ERRORS 💀

• "no more variables, error !" — there is no variable number left. tragic, but the manual said it first 😭
• "index xxx out of range, error !" — the Index parameter must be a valid index. no cap.

🌈 EXAMPLE 🌈

bestie, here’s the whole little demo:

       #include "bdd101.h"
          bddsystem  ∗BddSystem;
          bddnode    ∗BddNode1;
          bddnode    ∗BddNode2;
          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
          BddNode1 = addbddvarfirst( (bddsystem ∗)0 );
          BddNode2 = addbddvarafter( (bddsystem ∗)0, BddNode1->INDEX );
          destroybddsystem( (bddsystem ∗)0 );

👑 SEE ALSO 👑

bdd(1) — go read that too, 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. fr fr, they’re asking — send the feedback 💌

xoxo, ASIM/LIP6 — October 1, 1997, signing off from ADDBDDVARAFTER(3) 💖