[/
    Copyright (c) 2008-2009 Joachim Faulhaber

    Distributed under the Boost Software License, Version 1.0.
    (See accompanying file LICENSE_1_0.txt or copy at
    http://www.boost.org/LICENSE_1_0.txt)
]


[/ //= Range ===================================================================]
[section Range]

[table
[[['*Range*]]                 [__ch_itvs__][__ch_itv_sets__][__ch_itv_maps__][condition]   ]
[[`interval<domain_type> hull(const T&)`] [      ]  [__O1__] [__O1__][]          ]
[[`domain_type T::lower()const`]          [__O1__]  [__O1__] [__O1__][]          ]
[[`domain_type T::upper()const`]          [__O1__]  [__O1__] [__O1__][]          ]
[[`domain_type T::first()const`]          [__O1__]  [__O1__] [__O1__][`!is_continuous<domain_type>::value`]]
[[`domain_type T::last()const`]           [__O1__]  [__O1__] [__O1__][`!is_continuous<domain_type>::value`]]
]

The table above shows the availability of functions 
`hull`, `lower`, `upper`, `first` and `last` on intervals 
and interval containers that are all of ['*constant time complexity*].
Find the functions description and some simple properties below.

[table
[[['*Range*]]                               [Types] [Description]                                        ]
[[`interval<domain_type> hull(const T&)`] [__S __M] [`hull(x)` returns the smallest interval that contains all intervals of an interval container `x`.] ]
[[`domain_type T::lower()const`]       [__i __S __M][`x.lower()` returns the lower bound of an interval or interval container `x`.]  ]
[[`domain_type T::upper()const`]       [__i __S __M][`x.upper()` returns the upper bound of an interval or interval container `x`.]         ]
[[`domain_type T::first()const`]       [__i __S __M][`x.first()` returns the first element of an interval or interval container `x`. 
                                                     `T::first()` is defined for a non continuous `domain_type` only.] ]
[[`domain_type T::last()const`]        [__i __S __M][`x.last()` returns the last element of an interval or interval container `x`. 
                                                     `T::last()` is defined for a non continuous `domain_type` only.] ]                                                                                                     
]

``
// for interval_containers x:
hull(x).lower() == x.lower()
hull(x).upper() == x.upper()
hull(x).first() == x.first()
hull(x).last()  == x.last()
``


[endsect][/ Range]