public class FalseBound extends Bound
| Modifier and Type | Method and Description |
|---|---|
static FalseBound |
getInstance() |
boolean |
isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
A bound is satisfied by an inference variable substitution if, after applying the substitution,
the assertion is true.
|
java.lang.String |
toString() |
java.util.Set<InferenceVariable> |
usedInferenceVariables() |
isADependency, isAnInstantiation, isProperLowerBound, isProperUpperBoundpublic static FalseBound getInstance()
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean isSatisfied(InferenceVariableSubstitution inferenceVariableSubstitution)
BoundisSatisfied in class Boundpublic java.util.Set<InferenceVariable> usedInferenceVariables()
usedInferenceVariables in class Bound