ADDBDDVAR(3)

✨ NAME ✨

okay so this page is the ADDBDDVAR(3) manual, and the star of the show is addbddvar — it adds a new variable in the bdd system. that’s the whole assignment, bestie, and it ate 💅

🌈 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. iconic academic roots, no cap 🎓✨

• 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;

💅 PARAMETERS 💅

• BddSystem — the bdd system. like, the whole little universe this variable is moving into 🪐
• Variable — the variable number. yes, the number-number, not the vibe-number 💖

🦋 DESCRIPTION 🦋

addbddvar creates a new variable, with the number Variable, in the bdd system BddSystem. it’s literally making a new little variable bestie and putting it in its bdd system home 🏡✨

if a null pointer is given, the default bdd system is used. so yeah, (bddsystem ∗)0 energy means “default system, please and thank you” 🫶

👑 RETURN VALUE 👑

addbddvar returns a pointer to the bdd node of the new variable. that’s your fresh new node, bestie — pointer included, slay 🔥

💀 ERRORS 💀

• "no more variables, error !" — there is no variable number left. the variable shelf is empty, periodt 😭
• "variable xxx out of range, error !" — the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. so keep it in range, or it’s gonna be a whole thing 🙈

🌸 EXAMPLE 🌸

like, here’s the whole vibe in code:

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

🔥 SEE ALSO 🔥

• bdd(1) — go peek at that too, iykyk 👀💖

🫶 BUG REPORT 🫶

heads up bestie: this tool is under development at the ASIM department of the LIP6 laboratory. they literally need your feedback to improve documentation and tools. so if you’ve got notes, send them — it’s giving community glow-up 🌈💌

mwah 💋 — this gem is from source/version ASIM/LIP6, dated October 1, 1997, and it lives in the ADDBDDVAR(3)-iverse. bye bestie, go add those variables 🫶✨