Class Hierarchy
- java.lang.Object
- org.sosy_lab.common.time.NestedTimer
- com.google.common.base.Ticker
- org.sosy_lab.common.time.Tickers.TickerWithUnit
- org.sosy_lab.common.time.Tickers
- org.sosy_lab.common.time.Timer
- org.sosy_lab.common.time.TimeSpan (implements java.lang.Comparable<T>, java.io.Serializable, java.time.temporal.TemporalAmount)