Class SolverResult


  • public final class SolverResult
    extends Result<SolverResult.Status,​java.util.List<Variable>>
    The SolverResult 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.
    • 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 equals null.
    • 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.