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

  Synopsis    [Reports the peak number of nodes.]

  Description [Reports the peak number of nodes. This number includes
  node on the free list. At the peak, the number of nodes on the free
  list is guaranteed to be less than DD_MEM_CHUNK.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadNodeCount Cudd_PrintInfo]

******************************************************************************/
Function
Synopsis    [Reports the peak number of nodes.]

Description [Reports the peak number of nodes. This number includes
node on the free list. At the peak, the number of nodes on the free
list is guaranteed to be less than DD_MEM_CHUNK.]




Function Synopsis [ Reports the peak number of nodes . ] Description [ Reports the peak number of nodes . This number includes node on the free list . At the peak the number of nodes on the free list is guaranteed to be less than DD_MEM_CHUNK . ]
long
Cudd_ReadPeakNodeCount(
  DdManager * dd)
{
    long count = 0;
    DdNodePtr *scan = dd->memoryList;
    while (scan != NULL) {
        count += DD_MEM_CHUNK;
        scan = (DdNodePtr *) *scan;
    }
    return(count);
}
long Cudd_ReadPeakNodeCount ( DdManager * dd ) { long count = 0 ; DdNodePtr * scan = dd -> memoryList ; while ( scan != NULL ) { count += DD_MEM_CHUNK ; scan = ( DdNodePtr * ) * scan ; } return ( count ) ; }
Function
Synopsis    [Reports the peak number of nodes.]
Function Synopsis [ Reports the peak number of nodes . ]