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);
Real ticks2sec(long ticks) const
convert ticks to secounds.
enum soplex::Timer::@2 status
status of the timer
virtual Real lastTime() const
virtual Real time() const
virtual Real stop()
stop timer, return accounted user time.
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.
static const long ticks_per_sec
ticks per secound, should be constant
void updateTicks() const
get actual user ticks from the system.