protected static class IntegerBoundsChecker.Bounds
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<IntegerBoundsChecker.Bound> |
bounds |
static java.lang.Long |
NEG_INF |
static java.lang.Long |
POS_INF |
protected IntegerBoundsChecker.Interval |
range |
Constructor and Description |
---|
Bounds() |
Bounds(IntegerBoundsChecker.Interval range,
java.util.Set<IntegerBoundsChecker.Bound> bounds) |
Bounds(java.lang.Long lowerBound,
java.lang.Long upperBound,
java.util.Set<IntegerBoundsChecker.Bound> bounds) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.util.Set<IntegerBoundsChecker.Bound> |
getBounds() |
java.lang.Long |
getNumericBound(IntegerBoundsChecker.Bound.Type type) |
java.lang.Long |
getNumericLower() |
java.lang.Long |
getNumericUpper() |
int |
hashCode() |
boolean |
isTighterThan(IntegerBoundsChecker.Bounds other)
Returns whether these bounds are at least as tight as the other
bounds.
|
IntegerBoundsChecker.Bounds |
merge(IntegerBoundsChecker.Bounds b1)
Merge two bounds.
|
IntegerBoundsChecker.Bounds |
refine(IntegerBoundsChecker.Bounds b1)
Merge two bounds.
|
static java.lang.Long |
refine(java.lang.Long i,
java.lang.Long j,
IntegerBoundsChecker.Bound.Type type) |
java.lang.String |
toString() |
public static final java.lang.Long POS_INF
public static final java.lang.Long NEG_INF
protected final IntegerBoundsChecker.Interval range
protected final java.util.Set<IntegerBoundsChecker.Bound> bounds
public Bounds()
public Bounds(IntegerBoundsChecker.Interval range, java.util.Set<IntegerBoundsChecker.Bound> bounds)
public Bounds(java.lang.Long lowerBound, java.lang.Long upperBound, java.util.Set<IntegerBoundsChecker.Bound> bounds)
public static java.lang.Long refine(java.lang.Long i, java.lang.Long j, IntegerBoundsChecker.Bound.Type type)
public java.lang.Long getNumericLower()
public java.lang.Long getNumericUpper()
public java.util.Set<IntegerBoundsChecker.Bound> getBounds()
public java.lang.Long getNumericBound(IntegerBoundsChecker.Bound.Type type)
public boolean isTighterThan(IntegerBoundsChecker.Bounds other)
public IntegerBoundsChecker.Bounds merge(IntegerBoundsChecker.Bounds b1)
public IntegerBoundsChecker.Bounds refine(IntegerBoundsChecker.Bounds b1)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object