A | |
| are_embedded [Use_interval_lists] |
Tests whether a list of intervals is in increasing order (according to set inclusion).
|
C | |
| combine [Use_lists] |
Transforms a pair of lists into a list of pairs.
|
| cons_closed [Closed_interval] |
Constructs the closed interval whose lower bound is a and upper bound is b given the
pair (a, b).
|
| cons_list [List_1] |
Constructs from the given pair (x, lx) the list whose first element is x and
whose rest is lx.
|
E | |
| empty_list [List_1] |
Constructs an empty list.
|
| end_cons_list [Use_lists_again] |
Constructs from the given pair (x, lx) the list whose last element is x and
whose rest is lx.
|
| even_only [Use_lists] |
Returns the sublist of the even numbers in a list of integers.
|
H | |
| head [List_1] |
Returns the first element of a list.
|
I | |
| insert [Use_lists] |
Order-preserving insertion of a value into an increasing list (according to <).
|
| is_empty_list [List_1] |
Tests whether a list is empty.
|
| is_member [Use_lists] |
Tests whether x is a member of the list lx given the pair (x, lx).
|
| is_subset [Use_interval_lists] |
Tests whether i1 = i2 or i1 is a proper subset of i2 given the pair (i1, i2) of intervals.
|
L | |
| last [Use_lists_again] |
Returns the last element of a non-empty list.
|
| last_without_last [Use_lists_again] |
Returns the pair (last element, list without this element) given a non-empty list.
|
| length [Use_lists] |
Returns the length of a list.
|
| less_than [Use_lists] |
Returns the strictly decreasing list of the non-negative integers less than an integer.
|
| lower_bound [Closed_interval] |
Returns the lower bound of an interval.
|
| ls1 [Use_interval_lists] |
A first list of intervals.
|
| ls2 [Use_interval_lists] |
A second list of intervals.
|
| ls3 [Use_interval_lists] |
A third list of intervals.
|
| ls4 [Use_interval_lists] |
A fourth list of intervals.
|
M | |
| map_bounds [Use_interval_lists] |
Returns the list of the (lower bound, upper bound) pairs of the elements in a list of
intervals.
|
| map_cons_closed [Use_interval_lists] |
Returns the list of the intervals defined by a list of pairs (lower bound, upper bound)
of integers.
|
| map_length [Use_lists] |
Returns the list of the lengths of the elements in a list of lists.
|
| map_twice [Use_lists] |
Returns the list of twice each element in a list of integers.
|
| map_width [Use_interval_lists] |
Returns the list of the widths of the elements in a list of intervals.
|
P | |
| print_closed_interval [Closed_interval] |
Prints a string representation of an interval.
|
R | |
| reverse [Use_lists_again] |
List reversal.
|
S | |
| sort [Use_lists] |
Sort a list in increasing order (according to <).
|
| split [Use_lists] |
Transforms a list of pairs into a pair of lists.
|
| string_of_closed_interval [Closed_interval] |
Returns a string representation of an interval.
|
T | |
| tail [List_1] |
Returns the given list without its first element.
|
U | |
| upper_bound [Closed_interval] |
Returns the upper bound of an interval.
|
W | |
| width [Use_interval_lists] |
Returns the width of an interval.
|
| without_last [Use_lists_again] |
Returns the given list without its last element.
|