CREATEBDDSYSTEM(3)

💅 CREATEBDDSYSTEM(3) — a whole page about making a BDD system, bestie

okay so this is from the BDD FUNCTIONS manual section, and it's literally the origin story of your very own bdd system. sit down, get comfy, we're doing this 🫶

---

✨ NAME ✨

createbddsystem — creates a bdd system. that's it. that's the whole vibe. it makes one. 💫

---

🌍 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. iconic, honestly. 🎀

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

---

🧚 SYNOPSIS 🧚

#include "bdd101.h"
bddsystem *createbddsystem( ModelVar, ModelOper, MaxVar, MaxNode )
  long   ModelVar;
  long   ModelOper;
  long   MaxVar;
  long   MaxNode;

like, you include the header, you call the function, you pass four longs, boom. ✨

---

🌸 PARAMETERS 🌸

each one of these is a long, and each one is doing its own little job:

• ModelVar — initial size of the hash table uses for a variable. it's the starting size, not the forever size, mmkay? 💜
• ModelOper — size of the hash table uses as a cache. yes bestie, a cache. we love a cache.
• MaxVar — initial maximum number of variables. initial is the keyword here 🔥
• MaxNode — maximum nodes allowed. the ceiling. the limit. respect it 💀

---

🦋 DESCRIPTION 🦋

createbddsystem creates and initializes a bdd system. that's literally what it does — it makes one and gets it all set up and ready for you. main character energy fr fr. 👑

---

⭐ RETURN VALUE ⭐

createbddsystem returns a pointer to the bdd system created. that pointer is your new bestie, hold onto it, you'll need it later (see EXAMPLE, we literally pass it to destroybddsystem). 🫶

---

💀 ERRORS 💀

okay so things can absolutely go wrong here, and when they do, here's what you'll see:

• "system model variable xxx error !" the ModelVar parameter must be a positive value. positive, bestie. not zero, not negative. 🙈
• "system model oper xxx error !" the ModelOper parameter must be a positive value. same rule, different parameter. 🍓
• "variable xxx out of range error !" the MaxVar parameter must be less than BDD_MAX_VAR. do not test this. it will not go well. 😭

ngl these are the exact strings, so if you're grepping for them, copy them character for character. xxx is doing placeholder duty in all three.

---

🔥 EXAMPLE 🔥

here's the whole little love story — create it, do some stuff, destroy it:

#include "bdd101.h"
   bddsystem *BddSystem;
   BddSystem = createbddsystem( 100, 1000, 100, 50000 );
   ...
   destroybddsystem( BddSystem );

see? 100, 1000, 100, 50000 — four values, in order, matching the four parameters. slay. 💅

---

🌈 SEE ALSO 🌈

• bdd(1)
• resetbddsytem(3)
• destroybddsytem(3)

iykyk — those last two are spelled exactly like that in the original page, so i'm keeping them exactly like that. not a typo i invented, i promise 🧚

---

💖 BUG REPORT 💖

this tool is under development at the ASIM department of the LIP6 laboratory.

we need your feedback to improve documentation and tools. seriously, they're asking. be the feedback. ✨

---

and that's the whole page, bestie. no cap, every flag, every error string, every long accounted for. 💜

ASIM/LIP6 · October 1, 1997 — yeah, this one's been iconic since '97, we're just giving it the glow-up it deserves 🎀🦋⭐