18 #if defined(_WIN32) || defined(_WIN64) 21 #include <sys/times.h> 38 #if !defined(_WIN32) && !defined(_WIN64) 41 #if defined(_WIN32) || defined(_WIN64) 44 gettimeofday(&tp, NULL);
45 if( tp.tv_usec >
usec )
47 sec = -(tp.tv_sec + 1);
48 usec = (1000000 - tp.tv_usec);
67 #if !defined(_WIN32) && !defined(_WIN64) 71 #if defined(_WIN32) || defined(_WIN64) 75 gettimeofday(&tp, NULL);
76 if( tp.tv_usec +
usec > 1000000 )
78 sec += (tp.tv_sec + 1);
79 usec -= (1000000 - tp.tv_usec);
96 #if !defined(_WIN32) && !defined(_WIN64) 102 #if defined(_WIN32) || defined(_WIN64) 106 gettimeofday(&tp, NULL);
108 if( tp.tv_usec +
usec > 1000000 )
110 (
usec - 1000000) + tp.tv_usec);
virtual Real time() const
virtual Real lastTime() const
virtual void start()
start timer, resume accounting user, system and real time.
Real wall2sec(long s, long us) const
convert wallclock time to secounds.
enum soplex::Timer::@18 status
status of the timer
Debugging, floating point type and parameter definitions.
Everything should be within this namespace.
virtual Real stop()
stop timer, return accounted user time.