clearbddsystemref.3alc - Man Page
clears the references for all bdd nodes.
Synopsis
#include "bdd101.h" void clearbddsystemref( BddSystem ) bddsystem ΒddSystem;
Parameters
- BddSystem
The bdd system.
Description
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.
Return Value
clearbddsystemref returns nothing.
Example
#include "bdd101.h" bddsystem ∗BddSystem; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); ... clearbddsystemref( (bddsystem ∗)0 ); ... destroybddsystem( (bddsystem ∗)0 );
See Also
Referenced By
clearbddsystemrefext.3alc(3), clearbddsystemrefint.3alc(3).
October 1, 1997 ASIM/LIP6 BDD FUNCTIONS