TimerPool (JavaSMT Solver Library)

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

All Methods Instance Methods Concrete Methods
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 Detail
  - TimerPool
```
public TimerPool()
```
- Method Detail
  - 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