public abstract class ASolverFactory<T extends ISolver>
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
ASolverFactory() |
Modifier and Type | Method and Description |
---|---|
T |
createSolverByName(java.lang.String solvername)
create a solver from its String name.
|
abstract T |
defaultSolver()
To obtain the default solver of the library.
|
abstract T |
lightSolver()
To obtain a solver that is suitable for solving many small instances of
SAT problems.
|
java.lang.String[] |
solverNames()
This methods returns names of solvers to be used with the method
getSolverByName().
|
public java.lang.String[] solverNames()
createSolverByName(String)
public T createSolverByName(java.lang.String solvername)
solvername
- the name of the solvernull
if the
solvername doesn't map one of the method of the factory.public abstract T defaultSolver()
lightSolver()
public abstract T lightSolver()
defaultSolver()