module Use_interval_lists: sig .. end
Provides operations involving lists and closed interval whose bounds are integers.
val ls1 : Closed_interval.closed_interval list
A first list of intervals.
val ls2 : Closed_interval.closed_interval list
A second list of intervals.
val ls3 : Closed_interval.closed_interval list
A third list of intervals.
val ls4 : Closed_interval.closed_interval list
A fourth list of intervals.
val width : Closed_interval.closed_interval -> int
Returns the width of an interval.
val is_subset : Closed_interval.closed_interval * Closed_interval.closed_interval -> bool
Tests whether i1 = i2 or i1 is a proper subset of i2 given the pair (i1, i2) of intervals.
val map_width : Closed_interval.closed_interval list -> int list
Returns the list of the widths of the elements in a list of intervals.
val are_embedded : Closed_interval.closed_interval list -> bool
Tests whether a list of intervals is in increasing order (according to set inclusion).
val map_cons_closed : (int * int) list -> Closed_interval.closed_interval list
Returns the list of the intervals defined by a list of pairs (lower bound, upper bound)
of integers.
- Pairs (x, y) are assumed to be such that x <= y.
val map_bounds : Closed_interval.closed_interval list -> (int * int) list
Returns the list of the (lower bound, upper bound) pairs of the elements in a list of
intervals.