28 #ifndef EWOMS_TIMER_GUARD_HH
29 #define EWOMS_TIMER_GUARD_HH
A simple class which makes sure that a timer gets stopped if an exception is thrown.
Definition: timerguard.hh:40
Provides an encapsulation to measure the system time.
Definition: timer.hh:48
Provides an encapsulation to measure the system time.
double stop()
Stop counting the time resources.
Definition: timer.hh:73