public class SolverProvider
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
protected java.util.List<SolverAdapter> |
getAllAvailableImplementations() |
static SolverProvider |
getInstance() |
SolverAdapter |
getSolver() |
static void |
setPreferredImplementation(java.lang.String className) |
public static void setPreferredImplementation(java.lang.String className)
public static SolverProvider getInstance()
protected java.util.List<SolverAdapter> getAllAvailableImplementations()
public SolverAdapter getSolver()