ADDBDDVARBEFORE(3)

💅 ADDBDDVARBEFORE(3) — the bdd functions era

okay bestie, so this one is a section 3 manual page (that's the library-functions girlies, iykyk) and it lives in the BDD FUNCTIONS family. the star of the show is addbddvarbefore, and she's about to slide a whole new variable into your bdd system right in front of one that already exists. no cap, it's giving "excuse me, coming through". 🎀

🌈 ORIGIN

fr fr, 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 institution behavior. 👑

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

✨ SYNOPSIS

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

like, just look at her. 💅

🦋 PARAMETERS

• BddSystem — the bdd system. that's the whole vibe of the argument, bestie.
• Index — the bdd index of an existing variable. key word: existing 🫶

🌸 DESCRIPTION

so addbddvarbefore creates a new variable, with the number BddSystem->INDEX_TO_VAR[ Index ] in the bdd system BddSystem. literally that's it, that's the whole job. ✨

and here's the lil convenience moment: if you hand it a null pointer, the default bdd system gets used. so you don't even have to think about it. 💜

👑 RETURN VALUE

addbddvarbefore returns a pointer to the bdd node of the new variable. she hands you the goods. 🫴✨

💀 ERRORS

• "no more variables, error !" — there is no variable number left. tragic. the variable supply has officially run out 😭
• "index xxx out of range, error !" — the Index parameter must be a valid index. if you give her a bad index she will tell you about it 🙈

🔥 EXAMPLE

ok this is the cute lil demo, watch closely:

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

see how she adds one first, then adds another before it using that INDEX? chef's kiss. ate. 🍓

🧚 SEE ALSO

• bdd(1)

go read it, bestie, it's the whole ecosystem. 🌈

⭐ 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 like… send the feedback please 🙏 💖

ok that's the whole page, no crumbs left. she's dated October 1, 1997 and she comes from ASIM/LIP6 — and yes the header up top says ADDBDDVARBEFORE(3) and the footer says the same thing, so we're full circle. periodt. 💅✨🦋