public interface Solution
Modifier and Type | Method and Description |
---|---|
int |
getAt(java.lang.String name)
A synonym for getValue(name).
|
int |
getMax(java.lang.String name)
Returns the maximum value in the domain of the solution variable with the given name.
|
int |
getMin(java.lang.String name)
Returns the minimum value in the domain of the solution variable with the given name.
|
int |
getNumberOfVarReals()
Returns the number of decision real variables in the solution
|
int |
getNumberOfVars()
Returns the number of decision integer variables in the solution
|
int |
getNumberOfVarSets()
Returns the number of decision set variables in the solution
|
Problem |
getProblem()
Returns the problem that this Solution is a solution to.
|
int |
getSolutionNumber()
Returns the number identifying this Solution.
|
Solver |
getSolver()
Returns the solver that created this Solution.
|
int |
getValue(java.lang.String name)
Returns the value of the solution variable with the given name,
throws a RuntimeException if the variable is not bound.
|
double |
getValueReal(java.lang.String name)
Returns the value of the solution real variable with the given name,
throws a RuntimeException if the real variable is not bound.
|
java.util.Set<java.lang.Integer> |
getValueSet(java.lang.String name)
Returns the value of the solution set variable with the given name,
throws a RuntimeException if the set variable is not bound.
|
java.lang.String |
getValueString(java.lang.String name)
Returns the value of the sting solution variable with the given name,
throws a RuntimeException if the variable is not bound.
|
boolean |
isBound()
Returns true if all the solution variables are bound, i.e.
|
boolean |
isBound(java.lang.String name)
Returns true if the domain of the solution variable with the given name
is a single value, i.e.
|
void |
log()
Logs the solution in the information log
|
void |
log(int varPerLine)
Logs the solution in the information log.
|
void |
save()
Saves the found results back to the constrained variables included into the solution
|
void |
setSolutionNumber(int number)
Sets the number identifying this Solution.
|
int getAt(java.lang.String name)
name
- java.lang.RuntimeException
- if the solution variable is not bound.int getMax(java.lang.String name)
name
- the name of the desired solution variable.int getMin(java.lang.String name)
name
- the name of the desired solution variable.int getNumberOfVarReals()
int getNumberOfVars()
int getNumberOfVarSets()
Problem getProblem()
int getSolutionNumber()
Solver getSolver()
int getValue(java.lang.String name)
name
- the name of the desired solution variable .java.lang.RuntimeException
- if the solution variable is not bound.double getValueReal(java.lang.String name)
name
- the name of the desired solution real variable .java.lang.RuntimeException
- if the solution real variable is not bound.java.util.Set<java.lang.Integer> getValueSet(java.lang.String name)
name
- the name of the desired solution set variable .java.lang.RuntimeException
- if the solution set variable is not bound.java.lang.String getValueString(java.lang.String name)
name
- the name of the desired solution variable .java.lang.RuntimeException
- if the solution variable is not bound.boolean isBound()
isBound(String)
boolean isBound(java.lang.String name)
name
- the name of the desired solution variable.void log()
void log(int varPerLine)
void save()
void setSolutionNumber(int number)
number
- the number identifying this Solution.