CREATEBDDSYSTEM(3)

✨ CREATEBDDSYSTEM(3) ✨

okay bestie, welcome to the BDD FUNCTIONS section of the manual (section 3, iykyk) 💖 this one's all about spinning up a whole brand new bdd system. literally creating life but make it graph data structures 🦋

---

🌸 NAME 🌸

createbddsystem — creates a bdd system.

---

🌈 ORIGIN 🌈

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

---

💅 SYNOPSIS 💅

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

---

🎀 PARAMETERS 🎀

• ModelVar — the initial size of the hash table that gets used for a variable.
• ModelOper — the size of the hash table that gets used as a cache.
• MaxVar — the initial maximum number of variables.
• MaxNode — the maximum nodes allowed.

---

🫶 DESCRIPTION 🫶

createbddsystem creates and initializes a bdd system. that's it. that's the whole job. it sets the whole thing up and hands it back to you 💖

---

⭐ RETURN VALUE ⭐

createbddsystem returns a pointer to the bdd system it created. slay, you got your system back 👑

---

💀 ERRORS 💀

• "system model variable xxx error !" — the ModelVar parameter must be a positive value. no negatives, no zero, we don't do that here 🙈
• "system model oper xxx error !" — the ModelOper parameter must be a positive value.
• "variable xxx out of range error !" — the MaxVar parameter must be less than BDD_MAX_VAR.

fr fr, if you hit any of these the system is not coming into existence, so check your numbers first bestie 😭

---

🌟 EXAMPLE 🌟

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

look at her go ✨ create the system, do the thing, then clean up after yourself with destroybddsystem because we are responsible main characters 💅

---

👀 SEE ALSO 👀

bdd(1) resetbddsytem(3), destroybddsytem(3).

---

🦋 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… tell them if something's weird, they're literally asking 🥺

---

and that's the whole page bestie!! this was written by ASIM/LIP6, dated October 1, 1997 — yes the date is giving vintage but the info is still iconic 💜 go forth and build your bdd system, you've got this 🎀✨