My Project  debian-1:4.1.1-p2+ds-4
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 
startRTimer
void startRTimer(void)
Definition: timer.cc:152
getRTimer
int getRTimer()
Definition: timer.cc:171
initTimer
int initTimer()
Definition: timer.cc:68
res
CanonicalForm res
Definition: facAbsFact.cc:64
writeTime
void writeTime(const char *s)
Definition: timer.cc:120
getTimer
int getTimer()
Definition: timer.cc:96
initRTimer
void initRTimer()
Definition: timer.cc:157
timerv
int timerv
Definition: timer.cc:18
writeRTime
void writeRTime(const char *s)
Definition: timer.cc:194
SetTimerResolution
void SetTimerResolution(int res)
Definition: timer.cc:23
rtimerv
int rtimerv
Definition: timer.cc:147
s
const CanonicalForm int s
Definition: facAbsFact.cc:55
SetMinDisplayTime
void SetMinDisplayTime(double mtime)
Definition: timer.cc:28
startTimer
void startTimer(void)
Definition: timer.cc:81