Boost C++ Libraries Home Libraries People FAQ More

PrevUpHomeNext

Function Synopsis

In this section a single matrix is given, that shows all functions with shared names and identical or analogous semantics and their polymorphic overloads across the class templates of the icl. In order to achieve a concise representation, a series of placeholders are used throughout the function matrix.

The placeholder's purpose is to express the polymorphic usage of the functions. The first column of the function matrix contains the signatures of the functions. Within these signatures T denotes a container type and J and P polymorphic argument and result types.

Within the body of the matrix, sets of boldface placeholders denote the sets of possible instantiations for a polymorphic placeholder P. For instance e i S denotes that for the argument type P, an element e, an interval i or an interval_set S can be instantiated.

If the polymorphism can not be described in this way, only the number of overloaded implementations for the function of that row is shown.

Placeholder

Argument types

Description

T

a container or interval type

P

polymorphic container argument type

J

polymorphic iterator type

K

polymorphic element_iterator type for interval containers

V

various types V, that do dot fall in the categories above

1,2,...

number of implementations for this function

A

implementation generated by compilers

e

T::element_type

the element type of interval_sets or std::sets

i

T::segment_type

the segment type of of interval_sets

s

element sets

std::set or other models of the icl's set concept

S

interval_sets

one of the interval set types

b

T::element_type

type of interval_map's or icl::map's element value pairs

p

T::segment_type

type of interval_map's interval value pairs

m

element maps

icl::map icl's map type

M

interval_maps

one of the interval map types

d

discrete types

types with a least steppable discrete unit: Integral types, date/time types etc.

c

continuous types

types with (theoretically) infinitely many elements beween two values.

Table 1.13. Synopsis Functions and Overloads

T

intervals

interval
sets

interval
maps

element
sets

element
maps

Construct, copy, destruct

T::T()

1

1

1

1

1

T::T(const P&)

A

e i S

b p M

1

1

T& T::operator=(const P&)

A

S

M

1

1

void T::swap(T&)

1

1

1

1

Containedness

intervals

interval
sets

interval
maps

element
sets

element
maps

bool T::empty()const

1

1

1

1

bool is_empty(const T&)

1

1

1

1

1

bool contains(const T&, const P&)
bool within(const P&, const T&)

e i

e i S

e i S b p M

e s

b m

Equivalences and Orderings

intervals

interval
sets

interval
maps

element
sets

element
maps

bool operator == (const T&, const T&)

1

1

1

1

1

bool operator != (const T&, const T&)

1

1

1

1

1

bool operator < (const T&, const T&)

1

1

1

1

1

bool operator > (const T&, const T&)

1

1

1

1

1

bool operator <= (const T&, const T&)

1

1

1

1

1

bool operator >= (const T&, const T&)

1

1

1

1

1

bool is_element_equal(const T&, const P&)

S

M

1

1

bool is_element_less(const T&, const P&)

S

M

1

1

bool is_element_greater(const T&, const P&)

S

M

1

1

bool is_distinct_equal(const T&, const P&)

M

1

Size

intervals

interval
sets

interval
maps

element
sets

element
maps

size_type T::size()const

1

1

1

1

size_type size(const T&)

1

1

1

1

1

size_type cardinality(const T&)

1

1

1

1

1

difference_type length(const T&)

1

1

1

size_type iterative_size(const T&)

1

1

1

1

size_type interval_count(const T&)

1

1

Selection

J T::find(const P&)

e i

e i

2

2

J find(T&, const P&)

e i

e i

codomain_type& operator[] (const domain_type&)

1

codomain_type operator() (const domain_type&)const

1

1

Range

interval_type hull(const T&)

1

1

T hull(const T&, const T&)

1

domain_type lower(const T&)

1

1

1

domain_type upper(const T&)

1

1

1

domain_type first(const T&)

1

1

1

domain_type last(const T&)

1

1

1

Addition

intervals

interval
sets

interval
maps

element
sets

element
maps

T& T::add(const P&)

e i

b p

b

T& add(T&, const P&)

e i

b p

e

b

J T::add(J pos, const P&)

i

p

b

J add(T&, J pos, const P&)

i

p

e

b

T& operator +=(T&, const P&)

e i S

b p M

e s

b m

T operator + (T, const P&)
T operator + (const P&, T)

e i S

b p M

e s

b m

T& operator |=( T&, const P&)

e i S

b p M

e s

b m

T operator | (T, const P&)
T operator | (const P&, T)

e i S

b p M

e s

b m

Subtraction

T& T::subtract(const P&)

e i

b p

b

T& subtract(T&, const P&)

e i

b p

e

b

T& operator -=(T&, const P&)

e i S

e i S b p M

e s

b m

T operator - (T, const P&)

e i S

e i S b p M

e s

b m

T left_subtract(T, const T&)

1

T right_subtract(T, const T&)

1

Insertion

intervals

interval
sets

interval
maps

element
sets

element
maps

V T::insert(const P&)

e i

b p

e

b

V insert(T&, const P&)

e i

b p

e

b

J T::insert(J pos, const P&)

i

p

e

b

J insert(T&, J pos, const P&)

i

p

e

b

T& insert(T&, const P&)

e i S

b p M

e s

b m

T& T::set(const P&)

b p

1

T& set_at(T&, const P&)

b p

1

Erasure

void T::clear()

1

1

1

1

void clear(const T&)

1

1

1

1

T& T::erase(const P&)

e i

e i b p

e

b p

T& erase(T&, const P&)

e i S

e i S b p M

e s

b m

void T::erase(iterator)

1

1

1

1

void T::erase(iterator,iterator)

1

1

1

1

Intersection

intervals

interval
sets

interval
maps

element
sets

element
maps

void add_intersection(T&, const T&, const P&)

e i S

e i S b p M

T& operator &=(T&, const P&)

e i S

e i S b p M

e s

b m

T operator & (T, const P&)
T operator & (const P&, T)

i

e i S

e i S b p M

e s

b m

bool intersects(const T&, const P&)
bool disjoint(const T&, const P&)

i

e i S

e i S b p M

e s

b m

Symmetric difference

T& T::flip(const P&)

e i

b p

b

T& flip(T&, const P&)

e i

b p

e

b

T& operator ^=(T&, const P&)

e i S

b p M

e s

b m

T operator ^ (T, const P&)
T operator ^ (const P&, T)

e i S

b p M

e s

b m

Iteration

intervals

interval
sets

interval
maps

element
sets

element
maps

J T::begin()

2

2

2

2

J T::end()

2

2

2

2

J T::rbegin()

2

2

2

2

J T::rend()

2

2

2

2

J T::lower_bound(const key_type&)

2

2

2

2

J T::upper_bound(const key_type&)

2

2

2

2

pair<J,J> T::equal_range(const key_type&)

2

2

2

2

Element iteration

intervals

interval
sets

interval
maps

element
sets

element
maps

K elements_begin(T&)

2

2

K elements_end(T&)

2

2

K elements_rbegin(T&)

2

2

K elements_rend(T&)

2

2

Streaming, conversion

intervals

interval
sets

interval
maps

element
sets

element
maps

std::basic_ostream operator << (basic_ostream&, const T&)

1

1

1

1

1


Many but not all functions of icl intervals are listed in the table above. Some specific functions are summarized in the next table. For the group of the constructing functions, placeholders d denote discrete domain types and c denote continuous domain types T::domain_type for an interval_type T and an argument types P.

Table 1.14. Additional interval functions

T

discrete
_interval

continuous
_interval

right_open
_interval

left_open
_interval

closed
_interval

open
_interval

Interval bounds

dynamic

dynamic

static

static

static

static

Form

asymmetric

asymmetric

symmetric

symmetric

Construction

T singleton(const P&)

d

c

d

d

d

d

T construct(const P&, const P&)

d

c

d c

d c

d

d

T construct(const P&, const P&, interval_bounds)

d

c

T hull(const P&, const P&)

d

c

d c

d c

d

d

T span(const P&, const P&)

d

c

d c

d c

d

d

static T right_open(const P&, const P&)

d

c

static T left_open(const P&, const P&)

d

c

static T closed(const P&, const P&)

d

c

static T open(const P&, const P&)

d

c

Orderings

bool exclusive_less(const T&, const T&)

1

1

1

1

1

1

bool lower_less(const T&, const T&)
bool lower_equal(const T&, const T&)
bool lower_less_equal(const T&, const T&)

1

1

1

1

1

1

bool upper_less(const T&, const T&)
bool upper_equal(const T&, const T&)
bool upper_less_equal(const T&, const T&)

1

1

1

1

1

1

Miscellaneous

bool touches(const T&, const T&)

1

1

1

1

1

1

T inner_complement(const T&, const T&)

1

1

1

1

1

1

difference_type distance(const T&, const T&)

1

1

1

1

1

1


Element iterators for interval containers

Iterators on interval conainers that are refered to in section Iteration of the function synopsis table are segment iterators. They reveal the more implementation specific aspect, that the fundamental aspect abstracts from. Iteration over segments is fast, compared to an iteration over elements, particularly if intervals are large. But if we want to view our interval containers as containers of elements that are usable with std::algoritms, we need to iterate over elements.

Iteration over elements . . .

On the other hand, sometimes iteration over interval containers on the element level might be desired, if you have some interface that works for std::SortedAssociativeContainers of elements and you need to quickly use it with an interval container. Accepting the poorer performance might be less bothersome at times than adjusting your whole interface for segment iteration.

[Caution] Caution

So we advice you to choose element iteration over interval containers judiciously. Do not use element iteration by default or habitual. Always try to achieve results using namespace global functions or operators (preferably inplace versions) or iteration over segments first.


PrevUpHomeNext