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