Interval

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 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 before a given time. Returns true if all values in the interval are less than the given time.

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 the interval is never, i.e., contains no values. 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.