Uses of Class
org.evosuite.symbolic.solver.SolverResult

Packages that use SolverResult

Package	Description
org.evosuite.symbolic.solver
org.evosuite.symbolic.solver.avm
org.evosuite.symbolic.solver.cvc4
org.evosuite.symbolic.solver.z3
org.evosuite.symbolic.solver.z3str2

Uses of SolverResult in org.evosuite.symbolic.solver

Methods in org.evosuite.symbolic.solver that return SolverResult

Modifier and Type	Method and Description
SolverResult	SolverCache.getCachedResult() If not in cache returns IllegalArgumentException()
static SolverResult	SolverResult.newSAT(Map<String,Object> values)
static SolverResult	SolverResult.newUNSAT()
abstract SolverResult	Solver.solve(Collection<Constraint<?>> constraints)
SolverResult	SolverCache.solve(Solver solver, Collection<Constraint<?>> constraints)

Methods in org.evosuite.symbolic.solver with parameters of type SolverResult

Modifier and Type	Method and Description
protected static boolean	Solver.checkSAT(Collection<Constraint<?>> constraints, SolverResult satResult)

Uses of SolverResult in org.evosuite.symbolic.solver.avm

Methods in org.evosuite.symbolic.solver.avm that return SolverResult

Modifier and Type	Method and Description
SolverResult	EvoSuiteSolver.solve(Collection<Constraint<?>> constraints)

Uses of SolverResult in org.evosuite.symbolic.solver.cvc4

Methods in org.evosuite.symbolic.solver.cvc4 that return SolverResult

Modifier and Type	Method and Description
SolverResult	CVC4Solver.solve(Collection<Constraint<?>> constraints)

Uses of SolverResult in org.evosuite.symbolic.solver.z3

Methods in org.evosuite.symbolic.solver.z3 that return SolverResult

Modifier and Type	Method and Description
SolverResult	Z3Solver.solve(Collection<Constraint<?>> constraints)

Uses of SolverResult in org.evosuite.symbolic.solver.z3str2

Methods in org.evosuite.symbolic.solver.z3str2 that return SolverResult

Modifier and Type	Method and Description
SolverResult	Z3Str2Solver.solve(Collection<Constraint<?>> constraints)