27#if defined(_WIN32) || defined(_WIN64)
47#if !defined(_WIN32) && !defined(_WIN64)
50#if defined(_WIN32) || defined(_WIN64)
53 gettimeofday(&tp,
nullptr);
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,
nullptr);
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,
nullptr);
125 if(tp.tv_usec +
usec > 1000000)
127 (
usec - 1000000) + tp.tv_usec);
enum soplex::Timer::@034000217000060161171047354060342355234255144003 status
status of the timer
virtual Real stop()
stop timer, return accounted user time.
virtual Real lastTime() const
virtual void start()
start timer, resume accounting user, system and real time.
virtual Real time() const
Real wall2sec(time_t s, time_t us) const
convert wallclock time to secounds.
Everything should be within this namespace.
Debugging, floating point type and parameter definitions.