CGAL::Container_from_circulator<C>

Definition

The adaptor Container_from_circulator<C> is a class that converts any circulator type C to a kind of container class, i.e. a class that provides an iterator and a const_iterator type and two member functions - begin() and end() - that return the appropriate iterators. By analogy to STL container classes these member functions return a const iterator in the case that the container itself is constant and a mutable iterator otherwise.

#include <CGAL/circulator.h>

Types

typedef C Circulator;

Container_from_circulator<C>::iterator
Container_from_circulator<C>::const_iterator
Container_from_circulator<C>::value_type
Container_from_circulator<C>::reference
Container_from_circulator<C>::const_reference
Container_from_circulator<C>::pointer
Container_from_circulator<C>::const_pointer
Container_from_circulator<C>::size_type
Container_from_circulator<C>::difference_type

Creation

Container_from_circulator<C> container;
any iterator of container will have a singular value.


Container_from_circulator<C> container ( C c);
any iterator of container will have a singular value if the circulator c corresponds to an empty sequence.

Operations

iterator container.begin ()
the start iterator.
const_iterator container.begin () const
the start const iterator.
iterator container.end () the past-the-end iterator.
const_iterator container.end () const
the past-the-end const iterator.

The iterator and const_iterator types are of the appropriate iterator category. In addition to the operations required for their category, they have a member function current_circulator() that returns a circulator pointing to the same position as the iterator does.

See Also

Circulator_from_iterator, Circulator_from_container, Circulator.

Example

The generic reverse() algorithm from the STL can be used with an adaptor if at least a bidirectional circulator c is given.

Circulator c;  // c is assumed to be a bidirectional circulator.
CGAL::Container_from_circulator<Circulator> container(c);
reverse( container.begin(), container.end());

Implementation

The iterator adaptor keeps track of the number of rounds a circulator has done around the ring-like data structure (a kind of winding number). It is used to distinguish between the start position and the end position which will be denoted by the same circulator internally. This winding number is zero for the begin()-iterator and one for the end()-iterator. It is incremented whenever the internal circulator passes the begin() position. Two iterators are equal if their internally used circulators and winding numbers are equal. This is more general than necessary since an iterator equal to end()-iterator is not supposed to be incremented any more, which is here still possible in a defined manner.

The implementation is different for random access iterators. The random access iterator has to be able to compute the size of the data structure in constant time. This is for example needed if the difference of the past-the-end iterator and the begin iterator is taken, which is exactly the size of the data structure. Therefore, if the circulator is of the random-access category, the adapter chooses the minimal circulator for the internal anchor position. The minimal circulator is part of the random access circulator requirements, see Page reference. For the random access iterator the adaptor implements a total ordering relation that is currently not required for random access circulators.