Attributes
Members list
Type members
Inherited and Abstract types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
Creates an interval that includes all values greater than the given bound. i.e [lower_bound,+∞)
Creates an interval that includes all values greater than the given bound. i.e [lower_bound,+∞)
Attributes
Creates an interval that includes all values less than the given bound. i.e (-∞,upper_bound]
Creates an interval that includes all values less than the given bound. i.e (-∞,upper_bound]
Attributes
Create an interval that includes all values between two bounds, including the bounds. i.e [lower_bound, upper_bound]
Create an interval that includes all values between two bounds, including the bounds. i.e [lower_bound, upper_bound]
Attributes
Creates an interval that includes all values after (and not including) the given bound. i.e (lower_bound,+∞)
Creates an interval that includes all values after (and not including) the given bound. i.e (lower_bound,+∞)
Attributes
Creates an interval that includes all values before (and not including) the given bound. i.e (-∞,upper_bound)
Creates an interval that includes all values before (and not including) the given bound. i.e (-∞,upper_bound)
Attributes
Create an interval that includes all values between two bounds, excluding the bounds. i.e (lower_bound, upper_bound)
Create an interval that includes all values between two bounds, excluding the bounds. i.e (lower_bound, upper_bound)
Attributes
Returns the hull of two intervals, i.e., the smallest interval that contains both input intervals, if any.
Returns the hull of two intervals, i.e., the smallest interval that contains both input intervals, if any.
Attributes
Returns the intersection of two intervals, i.e., the largest interval that is contained in both input intervals, if any.
Returns the intersection of two intervals, i.e., the largest interval that is contained in both input intervals, if any.
Attributes
Concrete fields
An empty interval that contains no values, ∄ posixTime ∣ never.contains(posixTime) Invariants expressed in IntervalTest should hold regardless of the implementation
An empty interval that contains no values, ∄ posixTime ∣ never.contains(posixTime) Invariants expressed in IntervalTest should hold regardless of the implementation
Attributes
Givens
Givens
Extensions
Extensions
Checks if a given time is contained in the interval. Returns true if the time is within the bounds of the interval, taking into account whether the bounds are inclusive or exclusive.
Checks if a given time is contained in the interval. Returns true if the time is within the bounds of the interval, taking into account whether the bounds are inclusive or exclusive.
Attributes
Checks if an interval is entirely after a given time. Returns true if all values in the interval are greater than the given time.
Checks if an interval is entirely after a given time. Returns true if all values in the interval are greater than the given time.
Attributes
Checks if an interval is entirely before a given time. Returns true if all values in the interval are less than the given time.
Checks if an interval is entirely before a given time. Returns true if all values in the interval are less than the given time.
Attributes
Checks if an interval is entirely between two given times. Returns true if all values in the interval are between the given times.
Checks if an interval is entirely between two given times. Returns true if all values in the interval are between the given times.
Attributes
Checks if the interval is never, i.e., contains no values. Invariants expressed in IntervalTest should hold regardless of the implementation.
Checks if the interval is never, i.e., contains no values. Invariants expressed in IntervalTest should hold regardless of the implementation.
Attributes
Checks if the interval is non never, i.e., contains at least one value. Invariants expressed in IntervalTest should hold regardless of the implementation.
Checks if the interval is non never, i.e., contains at least one value. Invariants expressed in IntervalTest should hold regardless of the implementation.