29#ifndef _WALLCLOCK_TIMER_H_
30#define _WALLCLOCK_TIMER_H_
57 return (
Real)s + 0.000001 * (
Real)us;
100 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
WallclockTimer()
default constructor
WallclockTimer(const WallclockTimer &old)
copy constructor
virtual void start()
start timer, resume accounting user, system and real time.
WallclockTimer & operator=(const WallclockTimer &old)
assignment operator
virtual Real time() const
virtual void reset()
initialize timer, set timing accounts to zero.
virtual ~WallclockTimer()
Real wall2sec(time_t s, time_t us) const
convert wallclock time to secounds.
virtual TYPE type()
return type of timer
Everything should be within this namespace.
Debugging, floating point type and parameter definitions.