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