VIEWBDDSYSTEM(3)

💖 NAME 💖

viewbddsystem — displays a bdd system. This is the viewbddsystem(3) page, and it lives in the BDD FUNCTIONS manual, bestie. No cap.

🌸 ORIGIN 🌸

okay so origin tea ☕: this software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Université Pierre and Marie CURIE, in Paris, France. Iconic academic roots, honestly.

Web : http://asim.lip6.fr/recherche/alliance/

E-mail : alliance-users@asim.lip6.fr

✨ SYNOPSIS ✨

#include "bdd101.h"
void viewbddsystem( BddSystem, ViewIndex )
  bddsystem ∗BddSystem;
  char       ViewIndex;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system to display. That's the main character of this function, fr fr.
• ViewIndex — flag to display more information. iykyk when you want the extra fields.

🦋 DESCRIPTION 🦋

viewbddsystem displays the bdd system BddSystem. If ViewIndex is true, viewbddsystem also displays the two fields INDEX_TO_VAR and VAR_TO_INDEX. If a null pointer is given, the default bdd system is used. That's the whole vibe check. 💅

💅 RETURN VALUE 💅

viewbddsystem returns nothing. periodt. No return value, no drama.

🌈 EXAMPLE 🌈

Here's the example, exactly as the page gives it — don't come for me, I'm just the messenger:

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

🔥 SEE ALSO 🔥

• bdd(1)

👑 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 pls send feedback, bestie 🫶.

mwah 💋 — source/version: ASIM/LIP6; date: October 1, 1997; page: VIEWBDDSYSTEM(3).