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