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

  Synopsis    [Returns the number of times garbage collection has occurred.]

  Description [Returns the number of times garbage collection has
  occurred in the manager. The number includes both the calls from
  reordering procedures and those caused by requests to create new
  nodes.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadGarbageCollectionTime]

******************************************************************************/
Function
Synopsis    [Returns the number of times garbage collection has occurred.]

Description [Returns the number of times garbage collection has
occurred in the manager. The number includes both the calls from
reordering procedures and those caused by requests to create new
nodes.]




Function Synopsis [ Returns the number of times garbage collection has occurred . ] Description [ Returns the number of times garbage collection has occurred in the manager . The number includes both the calls from reordering procedures and those caused by requests to create new nodes . ]
int
Cudd_ReadGarbageCollections(
  DdManager * dd)
{
    return(dd->garbageCollections);
}
int Cudd_ReadGarbageCollections ( DdManager * dd ) { return ( dd -> garbageCollections ) ; }
Function
Synopsis    [Returns the number of times garbage collection has occurred.]
Function Synopsis [ Returns the number of times garbage collection has occurred . ]