CREATEBDDCIRCUIT(3)

💖 createbddcircuit — it's giving "make me a BDD circuit" ✨

okay bestie, welcome to the createbddcircuit(3) page — that's a section 3 manual entry from the BDD FUNCTIONS fam, and it's literally the moment a brand new bdd circuit gets born. no cap. 🦋

---

🌸 ORIGIN 🌸

this software belongs to the ALLIANCE CAD SYSTEM, which was cooked up by the ASIM team over 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 built a whole CAD system and gave us a mailing list. iconic behaviour fr fr. 💌

---

✨ SYNOPSIS ✨

#include "bdd101.h"
  bddcircuit ∗createbddcircuit( Name, NumberIn, NumberOut, BddSystem )
  char      ∗Name;
  long       NumberIn;
  long       NumberOut;
  bddsystem ∗BddSystem;

she takes four things and gives you back a circuit. periodt. 💅

---

🎀 PARAMETERS 🎀

• Name — the name of the bdd circuit. yes, you get to name her. choose wisely bestie 🫶
• NumberIn — how many inputs she's got.
• NumberOut — how many outputs she's serving.
• BddSystem — the bdd system you wanna work on.

---

💜 DESCRIPTION 💜

createbddcircuit creates a bdd circuit with the name Name, with NumberIn inputs, and NumberOut outputs. this bdd circuit will use the bdd system BddSystem. 🔥

and here's the tea: if a null pointer is given, the default bdd system is used. so if you're feeling lazy you can just hand her a null and she'll sort herself out. main character energy tbh. 👑

---

⭐ RETURN VALUE ⭐

createbddcircuit returns a pointer to the bdd circuit created. that's your new baby. go forth and compute. 🐣✨

---

🌈 EXAMPLE 🌈

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   ...
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

look at her go 😭 build the system, build the circuit, do the thing, then destroy everything with a null pointer to clean up the whole pile. the way that ... is just sitting there holding all your secrets. 💀

---

👑 SEE ALSO 👑

• bdd(1)
• resetbddcircuit(3)
• destroybddcircuit(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, pls tell them if something's weird, they're literally asking 🥺📬

---

lowkey important reminder bestie: this page is ASIM/LIP6, dated October 1, 1997 — yeah, she's an elder but she still slays 💅 vintage is a vibe, and the BDD FUNCTIONS section 3 manual never goes out of style. 🎀🦋✨