My Project  debian-1:4.1.1-p2+ds-4build4
timer.h
Go to the documentation of this file.
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 int timerv;
11 void startTimer(void);
12 void writeTime(const char* s);
13 
14 int initTimer();
15 int getTimer();
16 
17 extern 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 
const CanonicalForm int s
Definition: facAbsFact.cc:55
CanonicalForm res
Definition: facAbsFact.cc:64
void SetMinDisplayTime(double mtime)
Definition: timer.cc:29
void startTimer(void)
Definition: timer.cc:82
int rtimerv
Definition: timer.cc:148
int getTimer()
Definition: timer.cc:97
int initTimer()
Definition: timer.cc:69
void initRTimer()
Definition: timer.cc:158
void startRTimer(void)
Definition: timer.cc:153
int timerv
Definition: timer.cc:19
int getRTimer()
Definition: timer.cc:172
void writeTime(const char *s)
Definition: timer.cc:121
void writeRTime(const char *s)
Definition: timer.cc:195
void SetTimerResolution(int res)
Definition: timer.cc:24