@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.delegate.statistics

The classes of this package wrap the whole proving environment and measure all accesses to it.

Class Summary

Class	Description
SolverStatistics
StatisticsEnumerationFormulaManager
StatisticsSolverContext
TimerPool
TimerPool.TimerWrapper	A minimal wrapper to keep a reference on the timer and provide a limited view.