Package org.sosy_lab.java_smt.delegate.statistics

Class SolverStatistics

java.lang.Object

org.sosy_lab.java_smt.delegate.statistics.SolverStatistics

public class SolverStatistics
extends Object

Method Summary

Modifier and Type	Method	Description
ImmutableMap<String,Object>	asMap()
TimeSpan	getMaxTimeOfAllSatQueries()
TimeSpan	getMaxTimeOfInterpolationQueries()
TimeSpan	getMaxTimeOfIsUnsatQueries()
int	getNumberOfAddConstraintQueries()
int	getNumberOfAllSatQueries()
int	getNumberOfArrayOperations()
int	getNumberOfBooleanOperations()
int	getNumberOfBVOperations()
int	getNumberOfFPOperations()
int	getNumberOfInterpolationQueries()
int	getNumberOfIsUnsatQueries()
int	getNumberOfModelEvaluationQueries()
int	getNumberOfModelListings()
int	getNumberOfModelQueries()
int	getNumberOfNumericOperations()
int	getNumberOfPopQueries()
int	getNumberOfProverEnvironments()
int	getNumberOfPushQueries()
int	getNumberOfQuantifierOperations()
int	getNumberOfSLOperations()
int	getNumberOfStringOperations()
int	getNumberOfUFOperations()
int	getNumberOfUnsatCoreQueries()
int	getNumberOfVisits()
TimeSpan	getSumTimeOfAllSatQueries()
TimeSpan	getSumTimeOfInterpolationQueries()
TimeSpan	getSumTimeOfIsUnsatQueries()

Methods inherited from class java.lang.Object

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

Method Details

getNumberOfProverEnvironments

public int getNumberOfProverEnvironments()

getNumberOfPopQueries

public int getNumberOfPopQueries()

getNumberOfPushQueries

public int getNumberOfPushQueries()

getNumberOfAddConstraintQueries

public int getNumberOfAddConstraintQueries()

getNumberOfModelQueries

public int getNumberOfModelQueries()

getNumberOfUnsatCoreQueries

public int getNumberOfUnsatCoreQueries()

getNumberOfIsUnsatQueries

public int getNumberOfIsUnsatQueries()

getSumTimeOfIsUnsatQueries

public TimeSpan getSumTimeOfIsUnsatQueries()

getMaxTimeOfIsUnsatQueries

public TimeSpan getMaxTimeOfIsUnsatQueries()

getNumberOfAllSatQueries

public int getNumberOfAllSatQueries()

getSumTimeOfAllSatQueries

public TimeSpan getSumTimeOfAllSatQueries()

getMaxTimeOfAllSatQueries

public TimeSpan getMaxTimeOfAllSatQueries()

getNumberOfInterpolationQueries

public int getNumberOfInterpolationQueries()

getSumTimeOfInterpolationQueries

public TimeSpan getSumTimeOfInterpolationQueries()

getMaxTimeOfInterpolationQueries

public TimeSpan getMaxTimeOfInterpolationQueries()

getNumberOfBooleanOperations

public int getNumberOfBooleanOperations()

getNumberOfVisits

public int getNumberOfVisits()

getNumberOfNumericOperations

public int getNumberOfNumericOperations()

getNumberOfArrayOperations

public int getNumberOfArrayOperations()

getNumberOfSLOperations

public int getNumberOfSLOperations()

getNumberOfUFOperations

public int getNumberOfUFOperations()

getNumberOfQuantifierOperations

public int getNumberOfQuantifierOperations()

getNumberOfBVOperations

public int getNumberOfBVOperations()

getNumberOfFPOperations

public int getNumberOfFPOperations()

getNumberOfStringOperations

public int getNumberOfStringOperations()

getNumberOfModelEvaluationQueries

public int getNumberOfModelEvaluationQueries()

getNumberOfModelListings

public int getNumberOfModelListings()

asMap

public ImmutableMap<String,Object> asMap()