114 virtual void start();
Wrapper for the system time query methods.
enum soplex::Timer::@19 status
status of the timer
virtual Real stop()
stop timer, return accounted user time.
virtual Real lastTime() const
clock_t uAccount
user time
virtual void start()
start timer, resume accounting user, system and real time.
UserTimer()
default constructor
virtual Real time() const
virtual void reset()
initialize timer, set timing accounts to zero.
Real ticks2sec(clock_t ticks) const
convert ticks to secounds.
void updateTicks() const
get actual user ticks from the system.
virtual TYPE type()
return type of timer
static const long ticks_per_sec
ticks per secound, should be constant
UserTimer(const UserTimer &old)
copy constructor
UserTimer & operator=(const UserTimer &old)
assignment operator
Everything should be within this namespace.
Debugging, floating point type and parameter definitions.