Package org.sosy_lab.java_smt.delegate.statistics

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

Classes

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