Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
BelowValue(C endpoint) |
Modifier and Type | Method and Description |
---|---|
(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, canonical, compareTo, endpoint, equals
private static final long serialVersionUID
BelowValue(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>
C leastValueAbove(DiscreteDomain<C> domain)
leastValueAbove
in class Cut<C extends java.lang.Comparable>
@CheckForNull C greatestValueBelow(DiscreteDomain<C> domain)
greatestValueBelow
in class Cut<C extends java.lang.Comparable>
public java.lang.String toString()
toString
in class java.lang.Object