CLEARBDDSYSTEMREFINT(3)

💅 NAME

okay so this is clearbddsystemrefint(3) from the BDD FUNCTIONS manual, and it is literally here to clear the internal references for all bdd nodes. That's the job. Slay.

🌍 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.

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

✨ SYNOPSIS ✨

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

🎀 PARAMETERS 🎀

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

🦋 DESCRIPTION 🦋

So clearbddsystemrefint clears the internal 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 🌸

clearbddsystemrefint returns nothing. Like, nothing-nothing. No value. 💀

🔥 EXAMPLE 🔥

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

🌈 SEE ALSO 🌈

• bdd(1)
• clearbddsystemref(3)
• clearbddsystemrefext(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.

That's the whole page, bestie — source/version ASIM/LIP6, dated October 1, 1997. Mwah 💋