14#include <sys/resource.h>
34#ifdef TIME_WITH_SYS_TIME
36# ifdef HAVE_SYS_TIME_H
40# ifdef HAVE_SYS_TIME_H
47#ifdef HAVE_SYS_TIMES_H
71 +
t_rec.ru_stime.tv_sec*1000000+
t_rec.ru_stime.tv_usec
75 +
t_rec.ru_stime.tv_sec*1000000+
t_rec.ru_stime.tv_usec
138 Print(
"//%s %.2f sec\n" ,
v ,
f);
158#ifdef HAVE_GETTIMEOFDAY
178 now.tv_usec += 1000000;
201 now.tv_usec += 1000000;
210 Print(
"//%s %.2f sec \n" ,
v ,
f);
const Variable & v
< [in] a sqrfree bivariate poly
VAR char my_yylinebuf[80]
void writeRTime(const char *v)
void SetMinDisplayTime(double mtime)
STATIC_VAR struct timeval siStartRTime
STATIC_VAR double mintime
STATIC_VAR double timer_resolution
STATIC_VAR struct timeval startRl
STATIC_VAR struct rusage t_rec
STATIC_VAR int64 siStartTime
STATIC_VAR struct timezone tzp
void writeTime(const char *v)
void SetTimerResolution(int res)