abc/src/bdd/cudd/cuddAPI.c
/**Function********************************************************************

  Synopsis    [Returns the number of nodes freed.]

  Description [Returns the number of nodes returned to the free list if the
  keeping of this statistic is enabled; -1 otherwise. This statistic is
  enabled only if the package is compiled with DD_STATS defined.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadNodesDropped]

******************************************************************************/
Function
Synopsis    [Returns the number of nodes freed.]

Description [Returns the number of nodes returned to the free list if the
keeping of this statistic is enabled; -1 otherwise. This statistic is
enabled only if the package is compiled with DD_STATS defined.]




Function Synopsis [ Returns the number of nodes freed . ] Description [ Returns the number of nodes returned to the free list if the keeping of this statistic is enabled ; - 1 otherwise . This statistic is enabled only if the package is compiled with DD_STATS defined . ]
double
Cudd_ReadNodesFreed(
  DdManager * dd)
{
#ifdef DD_STATS
    return(dd->nodesFreed);
#else
    return(-1.0);
#endif
}
double Cudd_ReadNodesFreed ( DdManager * dd ) { #ifdef DD_STATS return ( dd -> nodesFreed ) ; #else return ( -1.0 ) ; #endif }
Function
Synopsis    [Returns the number of nodes freed.]
Function Synopsis [ Returns the number of nodes freed . ]