CLEARBDDSYSTEMREFINT(3)

💖 CLEARBDDSYSTEMREFINT(3) 💖

okay bestie, welcome to the BDD FUNCTIONS corner of the manual — today's episode is all about clearbddsystemrefint, and honestly? she's a vibe.

---

✨ NAME ✨

clearbddsystemrefint — clears the internal references for all bdd nodes.

---

🌍 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

like, French academia said "we're building a whole CAD system" and they ate, no cap 🇫🇷✨

---

🎀 SYNOPSIS 🎀

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

---

🦋 PARAMETERS 🦋

• BddSystem — the bdd system. that's the whole parameter list, she's low maintenance 💅

---

👑 DESCRIPTION 👑

clearbddsystemrefint clears the internal references of all the bdd nodes in the bdd system BddSystem.

and here's the little plot twist — if a null pointer is given, the default bdd system is used. so you don't even have to name her, she'll just know. main character energy fr fr.

---

⭐ RETURN VALUE ⭐

clearbddsystemrefint returns nothing. not a value, not a vibe check, nothing. void is void, periodt. 💀

---

🌈 EXAMPLE 🌈

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

see how she passes (bddsystem ∗)0? that's the null pointer doing its thing — default system, no notes. 🫶

---

🔥 SEE ALSO 🔥

• bdd(1)
• clearbddsystemref(3)
• clearbddsystemrefext(3)

iykyk — the whole ref-clearing family, go read them all.

---

😭 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 actually send feedback, they're literally asking, it's giving "we're begging" 🙈

---

and that's the tea ☕ — this page came from ASIM/LIP6, dated October 1, 1997, and it's still out here clearing refs like an icon. mwah 💖🎀🦋