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

  Synopsis    [Returns the time spent in garbage collection.]

  Description [Returns the number of milliseconds spent doing garbage
  collection since the manager was initialized.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadGarbageCollections]

******************************************************************************/
Function
Synopsis    [Returns the time spent in garbage collection.]

Description [Returns the number of milliseconds spent doing garbage
collection since the manager was initialized.]




Function Synopsis [ Returns the time spent in garbage collection . ] Description [ Returns the number of milliseconds spent doing garbage collection since the manager was initialized . ]
long
Cudd_ReadGarbageCollectionTime(
  DdManager * dd)
{
    return(dd->GCTime);
}
long Cudd_ReadGarbageCollectionTime ( DdManager * dd ) { return ( dd -> GCTime ) ; }
Function
Synopsis    [Returns the time spent in garbage collection.]
Function Synopsis [ Returns the time spent in garbage collection . ]