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);
Real wall2sec(long s, long us) const
convert wallclock time to secounds.
virtual Real time() const
virtual Real lastTime() const
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::@19 status
status of the timer
virtual Real stop()
stop timer, return accounted user time.