ADDBDDVARAFTER(3)

✨ ADDBDDVARAFTER(3) ✨

okay bestie, welcome to the BDD FUNCTIONS corner of the manual, section 3, and today's main character is addbddvarafter 💅

---

🎀 NAME 🎀

addbddvarafter — it adds a new variable, right after an existing one. no cap, that's literally the whole job 🦋

---

🌸 ORIGIN 🌸

so this software? it 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 energy, 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. yeah, the whole system. she's the moment.
• Index — the bdd index of an existing variable. like, a variable that's already there, bestie. she has to exist first 🫶

---

🦋 DESCRIPTION 🦋

addbddvarafter creates a new variable, and its number is BddSystem->INDEX_TO_VAR[ Index ] + 1 in the bdd system BddSystem. so it slots in right behind the variable you pointed at, no drama 🌈

and if you hand it a null pointer? cute. the default bdd system gets used instead. periodt 💅

---

🌟 RETURN VALUE 🌟

addbddvarafter returns a pointer to the bdd node of the new variable. that's your new baby, take good care of her 🥺

---

🔥 ERRORS 🔥

• "no more variables, error !" — there is no variable number left. she's booked and busy, there's genuinely no room 😭
• "index xxx out of range, error !" — the Index parameter must be a valid index. invalid index = vibe check failed, bestie 💀

---

🍓 EXAMPLE 🍓

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

look at that. make a system, add the first variable, add another one after it using BddNode1->INDEX, then clean up after yourself like a responsible queen 🧚✨

---

👑 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. fr fr, they're asking nicely, so if something's weird, tell them 🙈

---

that's the whole page bestie, you ate that 💖

ASIM/LIP6 — October 1, 1997 — ADDBDDVARAFTER(3), mwah, go forth and add variables 🎀