ADDBDDVAR(3)

✨ ADDBDDVAR(3) ✨ — the one where we birth a whole new variable 💅

okay bestie, sit DOWN because we're talking about addbddvar from the BDD FUNCTIONS section, and this one is literally giving "let there be variable." 🦋

---

🌸 ORIGIN 🌸

so this software is part of the ALLIANCE CAD SYSTEM, made by the ASIM team over at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. 🇫🇷 iconic honestly.

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

---

🎀 SYNOPSIS 🎀

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

yes the ∗ is right there, we do not edit the ancestors' punctuation, periodt. 💅

---

🧚 PARAMETERS 🧚

• BddSystem — the bdd system. that's the whole vibe. it's the system.
• Variable — the variable number. which number? the number.

---

💖 DESCRIPTION 💖

so addbddvar creates a new variable — with the number Variable — inside the bdd system BddSystem. that's it, that's the job. ✨

and listen: if you hand it a null pointer, it does NOT crash, it does NOT ghost you — it just uses the default bdd system. bestie behaviour fr fr. 🫶

---

👑 RETURN VALUE 👑

addbddvar returns a pointer to the bdd node of the new variable. that's your new baby. a whole pointer. to the node. of the variable. slay. 🌈

---

💀 ERRORS 💀

• "no more variables, error !" — there is no variable number left. that's it, the variable supply is dry, nothing left in the tank, no more numbers to give. 😭
• "variable xxx out of range, error !" — the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. so like... stay in your lane, number-wise. 🚧

---

🔥 EXAMPLE 🔥

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddnode    ∗BddNode;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddNode = addbddvar( (bddsystem ∗)0, 0 );
   destroybddsystem( (bddsystem ∗)0 );

look at that. create, add, destroy. clean up after yourself, main character energy. 🧹✨

---

🦋 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. no cap, they literally said it — so if something's weird, TELL THEM. 💌

---

and that's the whole page, bestie — ASIM/LIP6, October 1, 1997, ADDBDDVAR(3), and you understood every single word of it. 💜🎀✨