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

  Synopsis    [Sample hook function to call after reordering.]

  Description [Sample hook function to call after reordering.
  Prints on the manager's stdout final size and reordering time.
  Returns 1 if successful; 0 otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_StdPreReordHook]

******************************************************************************/
Function
Synopsis    [Sample hook function to call after reordering.]

Description [Sample hook function to call after reordering.
Prints on the manager's stdout final size and reordering time.
Returns 1 if successful; 0 otherwise.]




Function Synopsis [ Sample hook function to call after reordering . ] Description [ Sample hook function to call after reordering . Prints on the manager ' s stdout final size and reordering time . Returns 1 if successful ; 0 otherwise . ]
int
Cudd_StdPostReordHook(
  DdManager *dd,
  const char *str,
  void *data)
{
    long initialTime = (long) data;
    int retval;
    long finalTime = util_cpu_time();
    double totalTimeSec = (double)(finalTime - initialTime) / 1000.0;
    retval = fprintf(dd->out,"%ld nodes in %g sec\n", strcmp(str, "BDD") == 0 ?
                     Cudd_ReadNodeCount(dd) : Cudd_zddReadNodeCount(dd),
                     totalTimeSec);
    if (retval == EOF) return(0);
    retval = fflush(dd->out);
    if (retval == EOF) return(0);
    return(1);
}
int Cudd_StdPostReordHook ( DdManager * dd , const char * str , void * data ) { long initialTime = ( long ) data ; int retval ; long finalTime = util_cpu_time ( ) ; double totalTimeSec = ( double ) ( finalTime - initialTime ) / 1000.0 ; retval = fprintf ( dd -> out , " \n " , strcmp ( str , " " ) == 0 ? Cudd_ReadNodeCount ( dd ) : Cudd_zddReadNodeCount ( dd ) , totalTimeSec ) ; if ( retval == EOF ) return ( 0 ) ; retval = fflush ( dd -> out ) ; if ( retval == EOF ) return ( 0 ) ; return ( 1 ) ; }
Function
Synopsis    [Sample hook function to call after reordering.]
Function Synopsis [ Sample hook function to call after reordering . ]