VIEWBDDCIRCUIT(3)

okay bestie, welcome to viewbddcircuit(3) from the BDD FUNCTIONS section — this is the page that displays a bdd circuit, and we're keeping every single detail, no cap. 🦋💅

🌸 NAME 🌸

viewbddcircuit — displays a bdd circuit. literally the whole brief. ✨

🧚 ORIGIN 🧚

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at 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

Paris, France, periodt. 🥐

✨ SYNOPSIS ✨

#include "bdd101.h"
void viewbddcircuit( BddCircuit, ViewIndex )
  bddcircuit ∗BddCircuit;
  char       ViewName;

🎀 PARAMETERS 🎀

• BddCircuit — the bdd circuit to display. main character circuit energy 👑
• ViewName — flag to display more information. more info = more slay 🔥

🦋 DESCRIPTION 🦋

Okay so viewbddcircuit displays the bdd circuit BddCircuit. slay.

If ViewName is true, viewbddcircuit also displays the field NAME_IN — extra little info moment ✨.

If a null pointer is given, the default bdd circuit is used. default circuit, no cap 🫶.

💀 RETURN VALUE 💀

viewbddcircuit returns nothing. not a value, not a thing — it's giving void energy, periodt. 💅

🌈 EXAMPLE 🌈

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

🔍 SEE ALSO 🔍

• bdd(1) — go peek, bestie 👀

🐛 BUG REPORT 🐛

Real talk: this tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools — yes, yours, bestie 🫶.

Signed with love from ASIM/LIP6 on October 1, 1997 — VIEWBDDCIRCUIT(3), out. 💖✨