VIEWBDDSYSTEMINFO(3)

💅 viewbddsysteminfo(3) — the vibe-check-your-BDD-system era

okay so bestie, this is a section 3 page for viewbddsysteminfo(3), which is literally a function out of the BDD functions crew. It's the one that pulls up the receipts on your bdd system and shows you the stats. 🎀

🌸 NAME

viewbddsysteminfo — displays statistical information. That's it, that's the whole job, and it ate. ✨

🦋 ORIGIN

So this software belongs to the ALLIANCE CAD SYSTEM, which was developed by the ASIM team over 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"
void viewbddsysteminfo( BddSystem )
  bddsystem ∗BddSystem;

🧚 PARAMETERS

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

💖 DESCRIPTION

viewbddsysteminfo hands you statistical information on the bdd system BddSystem — for example, the performance of the different caches. lowkey the whole point. 🔥

And if you hand it a null pointer? No stress, it just uses the default bdd system. bestie knows what to do. 🫶

🌈 RETURN VALUE

viewbddsysteminfo returns nothing. nothing at all. it just prints the tea and dips. 💀

🍓 EXAMPLE

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

👑 SEE ALSO

bdd(1) viewbddsystem(3). go read those next, they're giving supporting-character energy but they matter. 🦋

🎀 BUG REPORT

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools. pls pls pls send feedback, they literally want it fr fr. 🙈

ngl this one's a sweet little utility — but remember, if you pass a null pointer you're getting the default system, not a crash. that's the move. 💅

okay that's the whole page, mwah 💜 — this little gem came from ASIM/LIP6 and it's dated October 1, 1997, and yes the header said VIEWBDDSYSTEMINFO(3) and the footer said the same thing. periodt. 💖