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)