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.