Interface RangeInclusiveBType

  • All Known Implementing Classes:
    RangeInclusiveB

    @Immutable
    public interface RangeInclusiveBType
    An inclusive range with BigInteger components.
    • Method Detail

      • lower

        @Parameter
        java.math.BigInteger lower()
        Returns:
        The lower bound of the inclusive range.
      • upper

        @Parameter
        java.math.BigInteger upper()
        Returns:
        The upper bound of the inclusive range.
      • interval

        default java.math.BigInteger interval()

        Retrieve the number of values in the range [lower, upper]. That is, (upper - lower) + 1.

        Returns:
        The number of values in the range
      • includesValue

        default boolean includesValue​(java.math.BigInteger value)

        Determine if the given value is included in this range.

        Parameters:
        value - The given value
        Returns:
        true iff value >= this.getLower() && value <= this.getUpper() .
      • isIncludedIn

        default boolean isIncludedIn​(RangeInclusiveB other)

        Determine if the given range is included in this range.

        Parameters:
        other - The given range
        Returns:
        true iff this.getLower() >= other.getLower() && this.getUpper() <= other.getUpper() .
      • checkPreconditions

        @Check
        default void checkPreconditions()
        Check preconditions for the type.