My Project  debian-1:4.1.2-p1+ds-2
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_VAR int timerv;
11 void startTimer(void);
12 void writeTime(const char* s);
13 
14 int initTimer();
15 int getTimer();
16 
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:150
getRTimer
int getRTimer()
Definition: timer.cc:169
initTimer
int initTimer()
Definition: timer.cc:66
rtimerv
EXTERN_VAR int rtimerv
Definition: timer.h:16
res
CanonicalForm res
Definition: facAbsFact.cc:64
writeTime
void writeTime(const char *s)
Definition: timer.cc:118
timerv
EXTERN_VAR int timerv
Definition: timer.h:9
getTimer
int getTimer()
Definition: timer.cc:94
initRTimer
void initRTimer()
Definition: timer.cc:155
writeRTime
void writeRTime(const char *s)
Definition: timer.cc:192
SetTimerResolution
void SetTimerResolution(int res)
Definition: timer.cc:21
s
const CanonicalForm int s
Definition: facAbsFact.cc:55
SetMinDisplayTime
void SetMinDisplayTime(double mtime)
Definition: timer.cc:26
startTimer
void startTimer(void)
Definition: timer.cc:79
EXTERN_VAR
#define EXTERN_VAR
Definition: globaldefs.h:6