Class SolverResult<T>

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  SolverResult.Status  
    • Method Summary

      • Methods inherited from class ru.ispras.fortress.util.Result

        getErrors, getResult, getStatus, hasErrors, toString
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • SolverResult

        public SolverResult​(SolverResult.Status status,
                            T result,
                            java.util.List<java.lang.String> errors)
      • SolverResult

        public SolverResult​(T result)
      • SolverResult

        public SolverResult​(java.lang.String error)