27 #if defined(_WIN32) || defined(_WIN64) 30 #include <sys/times.h> 47 #if !defined(_WIN32) && !defined(_WIN64) 50 #if defined(_WIN32) || defined(_WIN64) 53 gettimeofday(&tp, NULL);
57 sec = -(tp.tv_sec + 1);
58 usec = (1000000 - tp.tv_usec);
79 #if !defined(_WIN32) && !defined(_WIN64) 83 #if defined(_WIN32) || defined(_WIN64) 87 gettimeofday(&tp, NULL);
89 if(tp.tv_usec +
usec > 1000000)
91 sec += (tp.tv_sec + 1);
92 usec -= (1000000 - tp.tv_usec);
111 #if !defined(_WIN32) && !defined(_WIN64) 118 #if defined(_WIN32) || defined(_WIN64) 122 gettimeofday(&tp, NULL);
125 if(tp.tv_usec +
usec > 1000000)
127 (
usec - 1000000) + tp.tv_usec);
virtual Real time() const
virtual Real lastTime() const
Real wall2sec(time_t s, time_t us) const
convert wallclock time to secounds.
virtual void start()
start timer, resume accounting user, system and real time.
Debugging, floating point type and parameter definitions.
Everything should be within this namespace.
enum soplex::Timer::@15 status
status of the timer
virtual Real stop()
stop timer, return accounted user time.