T
- public static class Assumptions.AssumptionResult<T> extends Object
Assumptions.Assumption
s.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)