org.sosy_lab.solver.basicimpl

Class SolverContextStatistics

java.lang.Object

org.sosy_lab.solver.basicimpl.SolverContextStatistics

public class SolverContextStatistics
extends Object

Various statistics provider by the solver context.

Constructor Summary

Constructors

Constructor and Description
SolverContextStatistics()

Method Summary

Modifier and Type	Method and Description
OptimizationCacheStatistics	getOptimizationCacheStatistics()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SolverContextStatistics

public SolverContextStatistics()

Method Detail

getOptimizationCacheStatistics

public OptimizationCacheStatistics getOptimizationCacheStatistics()