org.evosuite.symbolic.solver

Class SolverCache

java.lang.Object

org.evosuite.symbolic.solver.SolverCache

public final class SolverCache
extends Object

Method Summary

Modifier and Type	Method and Description
SolverResult	getCachedResult() If not in cache returns IllegalArgumentException()
double	getHitRate()
static SolverCache	getInstance()
int	getNumberOfSATs()
int	getNumberOfUNSATs()
SolverResult	solve(Solver solver, Collection<Constraint<?>> constraints)

Methods inherited from class java.lang.Object

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

Method Detail

solve

public SolverResult solve(Solver solver,
                          Collection<Constraint<?>> constraints)

Parameters:

solver -

constraints -

Returns:

getNumberOfUNSATs

public int getNumberOfUNSATs()

getNumberOfSATs

public int getNumberOfSATs()

getInstance

public static SolverCache getInstance()

getHitRate

public double getHitRate()

getCachedResult

public SolverResult getCachedResult()

If not in cache returns IllegalArgumentException()

Parameters:

constraints -

Returns: