VIEWBDDSYSTEMINFO(3)

💖 viewbddsysteminfo — the manual page, but make it cute ✨

okay bestie, so this one is viewbddsysteminfo(3), and it lives in the BDD FUNCTIONS section of the manual. she's a little function, she doesn't do much, but she's iconic and you're gonna love her 💅

---

🌸 NAME 🌸

viewbddsysteminfo — literally just displays statistical information. that's it. that's the whole job. she spills the stats 🫖✨

---

🦋 ORIGIN 🦋

so this software? it 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 🇫🇷✨

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

like, the whole thing was born in Paris. main character energy fr fr 🥐💖

---

✨ SYNOPSIS ✨

here's the vibe, verbatim, no cap:

#include "bdd101.h"
void viewbddsysteminfo( BddSystem )
  bddsystem ∗BddSystem;

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system you want to examine. that's the one you're snooping on, bestie 👀

---

💜 DESCRIPTION 💜

okay so here's the tea: viewbddsysteminfo provides statistical information on the bdd system BddSystem. like, for example, the performance of the different caches 🔥 it's giving "let me show you the receipts."

and here's the cute part: if you hand her a null pointer, she just uses the default bdd system instead. no stress, no drama, she'll figure it out 🫶

---

⭐ RETURN VALUE ⭐

viewbddsysteminfo returns nothing. nothing at all. zero. she's a void girlie and she's at peace with that 💀

---

🌈 EXAMPLE 🌈

here's how you'd actually use her, copy-paste energy:

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

see how she's sandwiched between createbddsystem and destroybddsystem? build it, look at it, clean it up. the whole lifecycle, slay 👑

---

👑 SEE ALSO 👑

go read these too, iykwim:

• bdd(1)
• viewbddsystem(3)

---

🍓 BUG REPORT 🍓

real talk: this tool is still under development at the ASIM department of the LIP6 laboratory. she's a work in progress, she's growing, we love her anyway 🌱

and they need your feedback to improve documentation and tools! so like, if something's confusing or broken, tell them. bestie feedback is how we all level up 💖

---

💫 sign-off 💫

that's the whole page, babe! this one was brought to you by ASIM/LIP6, dated October 1, 1997 — yes she's a 90s baby and she's still serving 🎀✨ love that for her. go examine some bdd systems, bestie, and remember: she returns nothing, and that's okay 🫶💅