org.sosy_lab.solver.basicimpl.cache

Class OptimizationCacheStatistics

java.lang.Object

org.sosy_lab.solver.basicimpl.cache.OptimizationCacheStatistics

public class OptimizationCacheStatistics
extends Object

Statistics for optimization cache.

Constructor Summary

Constructors

Constructor and Description
OptimizationCacheStatistics()

Method Summary

Modifier and Type	Method and Description
int	getCacheHits()
int	getChecks()

Methods inherited from class java.lang.Object

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

Constructor Detail

OptimizationCacheStatistics

public OptimizationCacheStatistics()

Method Detail

getChecks

public int getChecks()

getCacheHits

public int getCacheHits()