Package org.sosy_lab.java_smt.delegate.statistics

Class TimerPool.TimerWrapper

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

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 Details

start

public void start()

stop

public void stop()