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