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 
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 
const CanonicalForm int s
Definition: facAbsFact.cc:55
CanonicalForm res
Definition: facAbsFact.cc:64
#define EXTERN_VAR
Definition: globaldefs.h:6
void SetMinDisplayTime(double mtime)
Definition: timer.cc:27
void startTimer(void)
Definition: timer.cc:80
int getTimer()
Definition: timer.cc:95
int initTimer()
Definition: timer.cc:67
void initRTimer()
Definition: timer.cc:156
void startRTimer(void)
Definition: timer.cc:151
int getRTimer()
Definition: timer.cc:170
void writeTime(const char *s)
Definition: timer.cc:119
EXTERN_VAR int rtimerv
Definition: timer.h:17
void writeRTime(const char *s)
Definition: timer.cc:193
void SetTimerResolution(int res)
Definition: timer.cc:22
EXTERN_VAR int timerv
Definition: timer.h:10