A | |
| are_disjoint [Use_closed_interval] |
Tests whether two intervals are disjoint.
|
C | |
| cons_closed [Closed_interval] |
Constructs the closed interval whose lower bound is a and upper bound is b given the
pair (a, b).
|
| cons_closed_1 [Use_closed_interval] |
Returns the interval whose lower bound is z and width is w.
|
E | |
| envelope [Use_closed_interval] |
Returns the envelope of two intervals (the least interval that is a superset of both).
|
I | |
| intersection [Use_closed_interval] |
Returns the intersection of two non-disjoint intervals.
|
| is_bissextile [Bissextile_years_revisited] |
Tests whether a year >= 0 is bissextile (366 days).
|
| is_bissextile [Bissextile_years] |
Tests whether a year >= 0 is bissextile (366 days).
|
| is_bissextile_1 [Bissextile_years_revisited] |
Tests also whether a year >= 0 is bissextile (366 days).
|
| is_bissextile_1 [Bissextile_years] |
Tests also whether a year >= 0 is bissextile (366 days).
|
| is_member [Use_closed_interval] |
Tests whether an integer is member of an interval.
|
| is_subset [Use_closed_interval] |
Tests whether i1 = i2 or i1 is a proper subset of i2 given the pair (i1, i2) of intervals.
|
L | |
| lower_bound [Closed_interval] |
Returns the lower bound of an interval.
|
P | |
| print_closed_interval [Closed_interval] |
Prints a string representation of an interval.
|
S | |
| string_of_closed_interval [Closed_interval] |
Returns a string representation of an interval.
|
U | |
| upper_bound [Closed_interval] |
Returns the upper bound of an interval.
|
W | |
| width [Use_closed_interval] |
Returns the width of an interval.
|