public interface Solver
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.
|
java.lang.String |
getDescription()
Returns the description of the solver.
|
java.lang.String |
getName()
Returns the name of the solver.
|
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.
|
SolverResult |
solve(Constraint constraint)
Solves the specified constraint.
|
java.lang.String getName()
java.lang.String getDescription()
boolean isSupported(ConstraintKind kind)
kind
- Constraint kind.boolean isGeneric()
SolverResult solve(Constraint constraint)
constraint
- A constraint object.boolean addCustomOperation(Function function)
function
- Object describing the semantics and syntax of the function.boolean addCustomOperation(FunctionTemplate template)
template
- Function template that describes the semantics and syntax of a family of
similar functions.java.lang.String getSolverPath()
void setSolverPath(java.lang.String value)
value
- Path