org.evosuite.symbolic.solver

Class SolverFactory

java.lang.Object

org.evosuite.symbolic.solver.SolverFactory

public class SolverFactory
extends Object

Constructor Summary

Constructors

Constructor and Description
SolverFactory()

Method Summary

Modifier and Type	Method and Description
Solver	buildNewSolver()
static SolverFactory	getInstance()

Methods inherited from class java.lang.Object

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

Constructor Detail

SolverFactory

public SolverFactory()

Method Detail

getInstance

public static SolverFactory getInstance()

buildNewSolver

public Solver buildNewSolver()