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::@033115067023050170323043235307032053002331137326 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.