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
68 getrusage(RUSAGE_SELF,&
t_rec);
71 getrusage(RUSAGE_CHILDREN,&
t_rec);
74 return (
int)time(
NULL);
83 getrusage(RUSAGE_SELF,&
t_rec);
86 getrusage(RUSAGE_CHILDREN,&
t_rec);
104 getrusage(RUSAGE_SELF,&
t_rec);
107 getrusage(RUSAGE_CHILDREN,&
t_rec);
118 Print(
"//%s %.2f sec\n" ,
v ,
f);
138#ifdef HAVE_GETTIMEOFDAY
154 gettimeofday(&now, &
tzp);
156 if (
startRl.tv_usec > now.tv_usec)
158 now.tv_usec += 1000000;
177 gettimeofday(&now, &
tzp);
181 now.tv_usec += 1000000;
190 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)