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