org.evosuite.symbolic.solver.avm

Class EvoSuiteSolver

java.lang.Object

org.evosuite.symbolic.solver.Solver

org.evosuite.symbolic.solver.avm.EvoSuiteSolver

public final class EvoSuiteSolver
extends Solver

Solves a collection of constraints using the Alternating Variable method.

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
EvoSuiteSolver()

Method Summary

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

Methods inherited from class org.evosuite.symbolic.solver.Solver

addMissingVariables, checkSAT, getConcreteValues, getVariables, setConcreteValues

Methods inherited from class java.lang.Object

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

Constructor Detail

EvoSuiteSolver

public EvoSuiteSolver()

Method Detail

solve

public SolverResult solve(Collection<Constraint<?>> constraints)
                   throws SolverTimeoutException,
                          SolverEmptyQueryException

Specified by:

solve in class Solver

Parameters:

constraints - a constraint system to be solved

Returns:

a non-null result that is SAT or UNSAT

Throws:

SolverTimeoutException - a timeout occurred while executing the solver

SolverEmptyQueryException - the solver