DESTROYBDDSYSTEM(3)

💖 NAME 💖

destroybddsystem — destroys a bdd system. That’s the whole mission, bestie. ✨

This is the DESTROYBDDSYSTEM(3) page from the BDD FUNCTIONS manual, and it’s lowkey iconic in its simplicity. 💅

🌈 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

🎀 SYNOPSIS 🎀

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

🦋 PARAMETERS 🦋

• BddSystem — the bdd system to destroy. yes, that’s the one you’re sending off 💀🫶

🌸 DESCRIPTION 🌸

destroybddsystem destroys the bdd system BddSystem. 🧚✨

If a null pointer is given, the default bdd system is used.

bestie, that’s the whole lore: pass BddSystem, it gets destroyed; pass a null pointer, and the default bdd system steps in. no cap. 💅

⭐ RETURN VALUE ⭐

destroybddsystem returns nothing. literally nothing. zero. nada. periodt. 💀✨

🍓 EXAMPLE 🍓

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

🫶 SEE ALSO 🫶

• bdd(1) — go look, bestie, it’s right there 👀💖

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. 🛠️

We need your feedback to improve documentation and tools. fr fr, they want the feedback. 🫶✨

okay that’s the whole page, bestie 💖 mwah! source/version: ASIM/LIP6; dated October 1, 1997. go destroy those bdd systems responsibly 👑✨