@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault

Package org.sosy_lab.common.time

This package provides possibilities for measuring elapsed time, and a data class TimeSpan for storing time spans together with the respective time unit.

Class Summary

Class	Description
NestedTimer	This class represents a timer similar to Timer, however it nests two timers.
Tickers	Class providing several convenient Ticker implementations.
Tickers.TickerWithUnit
Timer	This class represents a timer like a stop watch.
TimeSpan	This is an immutable representation of some time span, using a TimeUnit and a value.