Package ru.ispras.fortress.solver
Class SolverResult
- java.lang.Object
-
- ru.ispras.fortress.util.Result<SolverResult.Status,java.util.List<Variable>>
-
- ru.ispras.fortress.solver.SolverResult
-
public final class SolverResult extends Result<SolverResult.Status,java.util.List<Variable>>
TheSolverResult
class stores a solution to the specified constraint including the status of the operation and the list of errors if any occurred.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
SolverResult.Status
Describes possible statuses of the results produced by a constraint solver.
-
Constructor Summary
Constructors Constructor Description SolverResult(SolverResult.Status status, java.util.List<java.lang.String> errors, java.util.List<Variable> variables)
Constructs for a solver result object basing on specified attributes.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<Variable>
getVariables()
Returns the list of variables that store a solution to a constraint.java.lang.String
toString()
-
-
-
Constructor Detail
-
SolverResult
public SolverResult(SolverResult.Status status, java.util.List<java.lang.String> errors, java.util.List<Variable> variables)
Constructs for a solver result object basing on specified attributes.- Parameters:
status
- Status of the result.errors
- List of errors.variables
- List of variables.- Throws:
java.lang.IllegalArgumentException
- if any of the parameters equalsnull
.
-
-
Method Detail
-
getVariables
public java.util.List<Variable> getVariables()
Returns the list of variables that store a solution to a constraint.- Returns:
- The list of output variables.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classResult<SolverResult.Status,java.util.List<Variable>>
-
-