public abstract class SolverBase extends java.lang.Object implements Solver
| Constructor and Description |
|---|
SolverBase(java.lang.String name,
java.lang.String description,
java.util.Set<ConstraintKind> supportedKinds,
boolean isGeneric,
java.lang.String envVarName) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
addCustomOperation(Function function)
Register a custom operation that extends the functionality of the solver.
|
boolean |
addCustomOperation(FunctionTemplate template)
Register a custom operation that extends the functionality of the solver.
|
protected void |
addStandardOperation(StandardOperation id,
java.lang.String text) |
java.lang.String |
getDescription()
Returns the description of the solver.
|
java.lang.String |
getName()
Returns the name of the solver.
|
java.util.Map<java.lang.Enum<?>,SolverOperation> |
getOperations() |
java.lang.String |
getSolverPath()
Returns the path to the external constraint solver executable used
by the current solver object.
|
boolean |
isGeneric()
Returns true if the solver is generic and false if it is custom.
|
boolean |
isSupported(ConstraintKind kind)
Check whether the specified constraint kind is supported by the solver.
|
void |
setSolverPath(java.lang.String value)
Sets the path to the external constraint solver executable used
by the current solver object.
|
protected void |
supportedKindCheck(ConstraintKind kind) |
public SolverBase(java.lang.String name,
java.lang.String description,
java.util.Set<ConstraintKind> supportedKinds,
boolean isGeneric,
java.lang.String envVarName)
protected final void supportedKindCheck(ConstraintKind kind)
public final java.lang.String getName()
Solverpublic final java.lang.String getDescription()
SolvergetDescription in interface Solverpublic final boolean isSupported(ConstraintKind kind)
SolverisSupported in interface Solverkind - Constraint kind.public final boolean isGeneric()
Solverpublic final java.util.Map<java.lang.Enum<?>,SolverOperation> getOperations()
public final boolean addCustomOperation(Function function)
SolveraddCustomOperation in interface Solverfunction - Object describing the semantics and syntax of the function.public final boolean addCustomOperation(FunctionTemplate template)
SolveraddCustomOperation in interface Solvertemplate - Function template that describes the semantics and syntax of a family of
similar functions.protected final void addStandardOperation(StandardOperation id, java.lang.String text)
public java.lang.String getSolverPath()
SolvergetSolverPath in interface Solverpublic void setSolverPath(java.lang.String value)
SolversetSolverPath in interface Solvervalue - Path