132    virtual void reset() = 0;
   135    virtual void start() = 0;
 
virtual Real lastTime() const =0
return last accounted time without rechecking the clock 
 
Timer()
default constructor 
 
enum soplex::Timer::@2 status
status of the timer 
 
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 ...
 
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