1 #ifndef TIMER_H 2 #define TIMER_H 3 /**************************************** 4 * Computer Algebra System SINGULAR * 5 ****************************************/ 6 /* 7 * ABSTRACT - get the computing time 8 */ 9 10 EXTERN_VAR int timerv; 11 void startTimer(void); 12 void writeTime(const char* s); 13 14 int initTimer(); 15 int getTimer(); 16 17 EXTERN_VAR int rtimerv; 18 void startRTimer(void); 19 void writeRTime(const char* s); 20 21 void initRTimer(); 22 int getRTimer(); 23 24 void SetTimerResolution(int res); 25 void SetMinDisplayTime(double mtime); 26 27 #endif 28 29