Package ru.ispras.microtesk.basis.solver
Class SolverResult<T>
- java.lang.Object
-
- ru.ispras.fortress.util.Result<SolverResult.Status,T>
-
- ru.ispras.microtesk.basis.solver.SolverResult<T>
-
public final class SolverResult<T> extends ru.ispras.fortress.util.Result<SolverResult.Status,T>
SolverResult
defines result of anSolver
.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
SolverResult.Status
-
Constructor Summary
Constructors Constructor Description SolverResult(java.lang.String error)
SolverResult(SolverResult.Status status, T result, java.util.List<java.lang.String> errors)
SolverResult(T result)
-
-
-
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)
-
-