| Modifier and Type | Field and Description |
|---|---|
private static long |
serialVersionUID |
| Constructor and Description |
|---|
AboveValue(C endpoint) |
| Modifier and Type | Method and Description |
|---|---|
(package private) Cut<C> |
canonical(DiscreteDomain<C> domain) |
(package private) void |
describeAsLowerBound(java.lang.StringBuilder sb) |
(package private) void |
describeAsUpperBound(java.lang.StringBuilder sb) |
(package private) C |
greatestValueBelow(DiscreteDomain<C> domain) |
int |
hashCode() |
(package private) boolean |
isLessThan(C value) |
(package private) C |
leastValueAbove(DiscreteDomain<C> domain) |
java.lang.String |
toString() |
(package private) BoundType |
typeAsLowerBound() |
(package private) BoundType |
typeAsUpperBound() |
(package private) Cut<C> |
withLowerBoundType(BoundType boundType,
DiscreteDomain<C> domain) |
(package private) Cut<C> |
withUpperBoundType(BoundType boundType,
DiscreteDomain<C> domain) |
aboveAll, aboveValue, belowAll, belowValue, compareTo, endpoint, equalsprivate static final long serialVersionUID
AboveValue(C endpoint)
boolean isLessThan(C value)
isLessThan in class Cut<C extends java.lang.Comparable>BoundType typeAsLowerBound()
typeAsLowerBound in class Cut<C extends java.lang.Comparable>BoundType typeAsUpperBound()
typeAsUpperBound in class Cut<C extends java.lang.Comparable>Cut<C> withLowerBoundType(BoundType boundType, DiscreteDomain<C> domain)
withLowerBoundType in class Cut<C extends java.lang.Comparable>Cut<C> withUpperBoundType(BoundType boundType, DiscreteDomain<C> domain)
withUpperBoundType in class Cut<C extends java.lang.Comparable>void describeAsLowerBound(java.lang.StringBuilder sb)
describeAsLowerBound in class Cut<C extends java.lang.Comparable>void describeAsUpperBound(java.lang.StringBuilder sb)
describeAsUpperBound in class Cut<C extends java.lang.Comparable>@CheckForNull C leastValueAbove(DiscreteDomain<C> domain)
leastValueAbove in class Cut<C extends java.lang.Comparable>C greatestValueBelow(DiscreteDomain<C> domain)
greatestValueBelow in class Cut<C extends java.lang.Comparable>Cut<C> canonical(DiscreteDomain<C> domain)
public java.lang.String toString()
toString in class java.lang.Object