withUpperBoundType method
Implementation
@override
Cut<C> withUpperBoundType(BoundType boundType, DiscreteDomain<C> domain) {
switch (boundType) {
case BoundType.open:
C? next = domain.next(endpoint!);
return (next == null) ? Cut.aboveAll<C>() : Cut.belowValue(next);
case BoundType.closed:
return this;
default:
throw AssertionError();
}
}