@Override Comparable<?> greatestValueBelow(DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); }
@Override Comparable<?> greatestValueBelow(DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); }
@Override Comparable<?> greatestValueBelow(DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); }
@Override public Integer maxValue() { return integers().maxValue(); } };
} else if (!span.hasUpperBound()) { try { domain.maxValue(); } catch (NoSuchElementException e) { throw new IllegalArgumentException(
} else if (!span.hasUpperBound()) { try { domain.maxValue(); } catch (NoSuchElementException e) { throw new IllegalArgumentException(
effectiveRange = effectiveRange.intersection(Range.atMost(domain.maxValue()));
} else if (!span.hasUpperBound()) { try { domain.maxValue(); } catch (NoSuchElementException e) { throw new IllegalArgumentException(
effectiveRange = effectiveRange.intersection(Range.atMost(domain.maxValue()));
effectiveRange = effectiveRange.intersection(Range.atMost(domain.maxValue()));
@Override Comparable<?> greatestValueBelow( DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); } @Override public int compareTo(Cut<Comparable<?>> o) {
@Override Comparable<?> greatestValueBelow( DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); } @Override public int compareTo(Cut<Comparable<?>> o) {
@Override Comparable<?> greatestValueBelow( DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); } @Override public int compareTo(Cut<Comparable<?>> o) {
@Override Comparable<?> greatestValueBelow( DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); } @Override public int compareTo(Cut<Comparable<?>> o) {
@Override Comparable<?> greatestValueBelow( DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); } @Override public int compareTo(Cut<Comparable<?>> o) {
@Override Comparable<?> greatestValueBelow( DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); } @Override public int compareTo(Cut<Comparable<?>> o) {
@Override Comparable<?> greatestValueBelow( DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); } @Override public int compareTo(Cut<Comparable<?>> o) {
@Override Comparable<?> greatestValueBelow( DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); } @Override public int compareTo(Cut<Comparable<?>> o) {
@Override Comparable<?> greatestValueBelow(DiscreteDomain<Comparable<?>> domain) { return domain.maxValue(); }
@Override public Integer maxValue() { return integers().maxValue(); } };