GETBDDVARNODE(3)

🦋 GETBDDVARNODE(3) — the getbddvarnode glow-up 🦋

okay bestie, so this one lives in the BDD FUNCTIONS manual, and it's literally the lil function that hands you the bdd node of a variable. no cap, it's a whole vibe. 💅

---

✨ NAME ✨

getbddvarnode — gives the bdd node of a variable.

---

🌸 ORIGIN 🌸

so this software belongs to the ALLIANCE CAD SYSTEM, which was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. iconic academic energy, we love to see it. 🎀

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

---

🫶 SYNOPSIS 🫶

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

---

🌈 PARAMETERS 🌈

• BddSystem — the bdd system. that's the whole thing. it's the system.
• Variable — the variable number. yes queen, just the number.

---

💖 DESCRIPTION 💖

okay so getbddvarnode gives you the bdd node of the variable number Variable, inside the bdd system BddSystem. that's it, that's the gig. ✨

and here's the little plot twist: if you hand it a null pointer, it just uses the default bdd system instead. so thoughtful. 🥹

---

👑 RETURN VALUE 👑

getbddvarnode returns a pointer to the variable bdd node. periodt. 🫡

---

💀 ERRORS 💀

• "variable xxx out of range, error !" — yeah so the Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. don't test it. it will call you out. 😭

---

🧚 EXAMPLE 🧚

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

look at her go. create, add, get, destroy. the full main character arc. 🔥

---

🍓 SEE ALSO 🍓

• bdd(1)

---

🙈 BUG REPORT 🙈

so this tool is still under development at the ASIM department of the LIP6 laboratory. and ngl, they need your feedback to improve the documentation and the tools. so like… say something. fr fr. 🫶

---

mwah 💋 this page came from ASIM/LIP6 and it's dated October 1, 1997 — yeah she's vintage, she's an elder, and she still eats. go get your bdd nodes bestie 💅✨