Wrapper for the system time query methods.
virtual void reset()=0
initialize timer, set timing accounts to zero.
virtual TYPE type()=0
return type of timer
void getLastTimes(Real *userTime, Real *systemTime, Real *realTime) const
return accounted time. get accounted user, system, or real time when ticks were updated last
Timer()
default constructor
virtual Real lastTime() const =0
return last accounted time without rechecking the clock
Real realTimeLast() const
return accounted real time without rechecking the clock
virtual Real time() const =0
Timer & operator=(const Timer &old)
assignment operator
virtual void start()=0
start timer, resume accounting user, system and real time.
Timer(const Timer &old)
copy constructor
virtual Real stop()=0
stop timer, return accounted user time.
enum soplex::Timer::@19 status
status of the timer
Everything should be within this namespace.
Debugging, floating point type and parameter definitions.