withLowerBoundType method

  1. @override
Cut<C> withLowerBoundType(
  1. BoundType boundType,
  2. DiscreteDomain<C> domain
)
override

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();
  }
}