T - public static class Assumptions.AssumptionResult<T> extends Object
Assumptions.Assumptions.| Modifier and Type | Field and Description |
|---|---|
(package private) Assumptions.Assumption[] |
assumptions |
private static Assumptions.Assumption[] |
EMPTY |
(package private) T |
result |
| Constructor and Description |
|---|
AssumptionResult(T result) |
AssumptionResult(T result,
Assumptions.Assumption... assumptions) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(Assumptions.AssumptionResult<T> other) |
T |
getResult() |
boolean |
isAssumptionFree() |
Assumptions.Assumption[] assumptions
private static final Assumptions.Assumption[] EMPTY
public AssumptionResult(T result, Assumptions.Assumption... assumptions)
public AssumptionResult(T result)
public boolean isAssumptionFree()
public void add(Assumptions.AssumptionResult<T> other)