Package org.sosy_lab.java_smt.delegate.statistics

Class TimerPool

java.lang.Object

org.sosy_lab.java_smt.delegate.statistics.TimerPool

public class TimerPool
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TimerPool.TimerWrapper	A minimal wrapper to keep a reference on the timer and provide a limited view.

Constructor Summary

Constructors

Constructor	Description
TimerPool()

Method Summary

Modifier and Type	Method	Description
TimeSpan	getMaxTime()	Return the maximal time of all intervals.
TimerPool.TimerWrapper	getNewTimer()
int	getNumberOfIntervals()	Return the number of intervals.
TimeSpan	getSumTime()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

TimerPool

public TimerPool()

Method Details

getNewTimer

public TimerPool.TimerWrapper getNewTimer()

getSumTime

public TimeSpan getSumTime()

getMaxTime

public TimeSpan getMaxTime()

Return the maximal time of all intervals. If timers are running, the current intervals are also counted (up to the current time). If no timer was started, this method returns 0.

getNumberOfIntervals

public int getNumberOfIntervals()

Return the number of intervals. If timers are running, the current intervals are also counted. If no timer was started, this method returns 0.

toString

public String toString()

Overrides:

toString in class Object