18 #if defined(_WIN32) || defined(_WIN64) 22 #else // !(_WIN32 || _WIN64) 24 #include <sys/types.h> 25 #include <sys/times.h> 29 #endif // !(_WIN32 || _WIN64) 40 #define TIMES_TICKS_PER_SEC CLK_TCK 41 #elif defined(_SC_CLK_TCK) 42 #define TIMES_TICKS_PER_SEC sysconf(_SC_CLK_TCK) 44 #define TIMES_TICKS_PER_SEC HZ 45 #else // !CLK_TCK && !_SC_CLK_TCK && !HZ 46 #define TIMES_TICKS_PER_SEC 60 47 #endif // !CLK_TCK && !_SC_CLK_TCK && !HZ 54 #if defined(_WIN32) || defined(_WIN64) 61 clock_t ret = times(&now);
64 now.tms_utime = now.tms_stime = ret = 0;
66 uTicks = long(now.tms_utime);
void updateTicks() const
get actual user ticks from the system.
virtual Real lastTime() const
virtual Real time() const
virtual Real stop()
stop timer, return accounted user time.
enum soplex::Timer::@18 status
status of the timer
virtual void start()
start timer, resume accounting user, system and real time.
Debugging, floating point type and parameter definitions.
#define TIMES_TICKS_PER_SEC
Everything should be within this namespace.
Real ticks2sec(long ticks) const
convert ticks to secounds.
static const long ticks_per_sec
ticks per secound, should be constant