SWAPBDDVAR(3)

💖 SWAPBDDVAR 💖

okay bestie, welcome to the swapbddvar page from the BDD FUNCTIONS manual — it's giving very specific, very powerful, very "two variables walk into a bar and switch places" energy ✨

---

🌸 NAME 🌸

swapbddvar — swaps two contiguous variables. that's it. that's the whole job. and she does it flawlessly 💅

---

🦋 ORIGIN 🦋

so 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 🇫🇷✨

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

like, they literally built a whole CAD system. main character energy fr fr 👑

---

✨ SYNOPSIS ✨

#include "bdd101.h"
void swapbddvar( BddSystem, Variable )
  bddsystem ∗BddSystem;
  bddvar     Variable;

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. yes, the one. your whole little universe of nodes 🌈
• Variable — the variable to swap. she's getting a new neighbor, no cap.

---

💜 DESCRIPTION 💜

okay so here's the tea ☕: swapbddvar swaps the variable number Variable with the variable number Variable + 1, inside the bdd system BddSystem.

and if you hand her a null pointer? she just uses the default bdd system. lowkey iconic behavior, honestly 🫶

this function is useful for the bdd nodes reordering — so like, when your nodes need a lil glow-up and a new arrangement, this is the girl you call 💅✨

---

⭐ RETURN VALUE ⭐

swapbddvar returns nothing. she gives you no receipts, no notes, no little gift. just vibes. 😌

---

💀 ERRORS 💀

• "variable xxx out of range, error !" — this pops up when Variable and Variable + 1 aren't valid variable numbers. so like, pls give her valid ones bestie, she's begging 🙈

---

🌸 EXAMPLE 🌸

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

see how she created a system, added some vars, swapped, and cleaned up after herself? that's called being a responsible queen 👑💖

---

🔥 SEE ALSO 🔥

• bdd(1)

go read that one too, iykyk 📚✨

---

🧚 BUG REPORT 🧚

this tool is under development at the ASIM department of the LIP6 laboratory. they need your feedback to improve documentation and tools — so like, if something's weird, TELL THEM. they're literally asking. don't leave them on read 😭💌

---

ASIM/LIP6 · October 1, 1997 · and that's the SWAPBDDVAR(3) page bestie — go forth and swap those variables, you absolute legend 🎀💖✨🦋