CLEARBDDSYSTEMREF(3)

okay so bestie, welcome to the clearbddsystemref page — section 3 (CLEARBDDSYSTEMREF(3)) — and it's literally all about clearing references for every bdd node. No cap. 💖

✨ NAME ✨

clearbddsystemref — clears the references for all bdd nodes. That's the whole name-card. ✨

🌈 ORIGIN 🌈

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Universit� Pierre et Marie CURIE, in Paris, France. Cute, iconic, French. 🎀

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

💅 SYNOPSIS 💅

the exact shape of the call, no cap:

       #include "bdd101.h"
       void clearbddsystemref( BddSystem )
         bddsystem ΒddSystem;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. That's the one and only parameter, bestie. 🫶

🦋 DESCRIPTION 🦋

okay so clearbddsystemref clears the internal and external references of all the bdd nodes in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. Periodt. 💅

⭐ RETURN VALUE ⭐

clearbddsystemref returns nothing. Like, literally nothing comes back — no value, no drama. 😭

🔥 EXAMPLE 🔥

here's the example in all its glory:

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

👑 SEE ALSO 👑

• bdd(1)
• clearbddsystemrefint(3)
• clearbddsystemrefext(3)

iykyk, go read those too. 👑

💀 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 if you've got notes, send them — they're literally asking. 🫶💀

xoxo, ASIM/LIP6 — October 1, 1997 — CLEARBDDSYSTEMREF(3) 💖🦋✨