RESETBDDSYSTEM(3)

🌸 NAME 🌸

okay so bestie, you're looking at RESETBDDSYSTEM(3), from the BDD FUNCTIONS manual — and the function is resetbddsystem, which resets a bdd system. that's the whole vibe. 💅

✨ ORIGIN ✨

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. 🥖✨

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

💻 SYNOPSIS 💻

here's the signature, bestie — copied exactly, no edits:

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

🎀 PARAMETERS 🎀

• BddSystem — the bdd system to reset. that's the one, no cap. 🫶

🦋 DESCRIPTION 🦋

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

so yeah — if you hand it a null pointer, it's giving "bestie, just use the default one." 😌✨

⭐ RETURN VALUE ⭐

resetbddsystem returns nothing. literally nothing, not even a little guy. 🫥

🌈 EXAMPLE 🌈

okay so here's the example, and yes it is iconic:

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

🔥 SEE ALSO 🔥

go check these out, exactly as written:

• bdd(1)
• createbddsytem(3), destroybddsytem(3).

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.

bestie, please send the feedback — it's giving collaborative main character energy. 💌🦋

xoxo, ASIM/LIP6 — October 1, 1997 💖