Package org.sosy_lab.common.time

@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.
  • Classes
    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.