TimerPool.TimerWrapper (JavaSMT Solver Library)

java.lang.Object
- org.sosy_lab.java_smt.delegate.statistics.TimerPool.TimerWrapper

Enclosing class:

TimerPool
```
public static class TimerPool.TimerWrapper
extends Object
```
A minimal wrapper to keep a reference on the timer and provide a limited view.

- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void start()
  
  void stop()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

start
```
public void start()
```

stop
```
public void stop()
```