GARBAGEBDDSYSTEM(3)

🌸 GARBAGEBDDSYSTEM(3) — bdd functions, aka the cleanup crew 💅

okay so bestie, you found the page for garbagebddsystem — it's a section 3 manual (that's "library function" territory, iykyk) and it lives in the BDD FUNCTIONS family. Let's get into it ✨

🎀 ORIGIN

Real talk, 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. Paris!! main character city fr 🇫🇷

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

✨ SYNOPSIS

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

🦋 PARAMETERS

• BddSystem — the bdd system. that's it, that's the whole parameter. one (1) thing. 🫶

💖 DESCRIPTION

So here's the vibe: garbagebddsystem frees all the unused bdd nodes in the system BddSystem. genuine spring cleaning energy 🧹✨

If a null pointer is given, the default bdd system is used — no need to stress about passing the right one, it'll just pick the default for you 💅

And what counts as "unused"? A bdd node is unused if its number of reference is null. that's the whole test, no cap.

👑 RETURN VALUE

garbagebddsystem returns nothing. literally nothing. void. it does the thing and dips 🙈

🍓 EXAMPLE

here's a whole lil program showing it off — copying it exactly because we don't do typos in this house:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
   addbddcircuitin( (bddcircuit ∗)0, "i1", 0, BDD_IN_MODE_FIRST );
   BddNode = applybddnode( (bddsystem ∗)0,
                           ABL_AND,
                           searchbddcircuitin( (bddcircuit ∗)0, "i0" ),
                           searchbddcircuitin( (bddcircuit ∗)0, "i1" ) );
   decbddrefext( BddNode );
   garbagebddsystem( (bddsystem ∗)0 );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

like, build a system, build a circuit called "hello_world", add two inputs "i0" and "i1", AND them together, drop the external ref with decbddrefext, then sweep up with garbagebddsystem, then destroy everything. clean exit, iconic behavior 🌈

💜 SEE ALSO

• bdd(1)

🔥 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're asking — send the feedback bestie, it's giving helpful 🫶

ngl this one's short and sweet — one function, one job, zero drama. take the free win 💅

signed, sealed, delivered by ASIM/LIP6, dated October 1, 1997 — yeah she's a vintage icon 👑✨