Package org.sosy_lab.common.time

Class Tickers.TickerWithUnit

java.lang.Object

com.google.common.base.Ticker

org.sosy_lab.common.time.Tickers.TickerWithUnit

Enclosing class:

Tickers

public abstract static class Tickers.TickerWithUnit
extends Ticker

Constructor Summary

Constructors

Constructor	Description
TickerWithUnit()

Method Summary

Modifier and Type	Method	Description
abstract TimeUnit	unit()

Methods inherited from class com.google.common.base.Ticker

read, systemTicker

Methods inherited from class java.lang.Object

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

Constructor Details

TickerWithUnit

public TickerWithUnit()

Method Details

unit

public abstract TimeUnit unit()