public final class SolverResult<T> extends ru.ispras.fortress.util.Result<SolverResult.Status,T>
SolverResult defines result of an Solver.| Modifier and Type | Class and Description |
|---|---|
static class |
SolverResult.Status |
| Constructor and Description |
|---|
SolverResult(SolverResult.Status status,
T result,
java.util.List<java.lang.String> errors) |
SolverResult(java.lang.String error) |
SolverResult(T result) |
public SolverResult(SolverResult.Status status, T result, java.util.List<java.lang.String> errors)
public SolverResult(T result)
public SolverResult(java.lang.String error)