#include <Powerset.defs.hh>
Public Types | |
typedef Traits::iterator_category | iterator_category |
typedef Traits::value_type | value_type |
typedef Traits::difference_type | difference_type |
typedef Traits::pointer | pointer |
typedef Traits::reference | reference |
Public Member Functions | |
omega_const_iterator () | |
Default constructor. | |
omega_const_iterator (const omega_const_iterator &y) | |
Copy constructor. | |
omega_const_iterator (const omega_iterator &y) | |
Constructs from the corresponding non-const iterator. | |
reference | operator* () const |
Dereference operator. | |
pointer | operator-> () const |
Indirect member selector. | |
omega_const_iterator & | operator++ () |
Prefix increment operator. | |
omega_const_iterator | operator++ (int) |
Postfix increment operator. | |
omega_const_iterator & | operator-- () |
Prefix decrement operator. | |
omega_const_iterator | operator-- (int) |
Postfix decrement operator. | |
bool | operator== (const omega_const_iterator &y) const |
Returns true if and only if *this and y are identical. | |
bool | operator!= (const omega_const_iterator &y) const |
Returns true if and only if *this and y are different. | |
Protected Types | |
typedef Powerset::Sequence::const_iterator | Base |
The type of the underlying const_iterator. | |
typedef std::iterator_traits < Base > | Traits |
A shortcut for naming traits. | |
Protected Member Functions | |
omega_const_iterator (const Base &b) | |
Constructs from the lower-level const_iterator. | |
Protected Attributes | |
Base | base |
A const_iterator on the sequence of elements. | |
Friends | |
class | Powerset |
Related Functions | |
(Note that these are not member functions.) | |
template<typename D> | |
bool | operator== (const typename Powerset< D >::omega_iterator &x, const typename Powerset< D >::omega_const_iterator &y) |
Mixed comparison operator: returns true if and only if (the const version of) x is identical to y . | |
template<typename D> | |
bool | operator!= (const typename Powerset< D >::omega_iterator &x, const typename Powerset< D >::omega_const_iterator &y) |
Mixed comparison operator: returns true if and only if (the const version of) x is different from y . |
This class implements a read-only bidirectional iterator on the sequence of disjuncts.
Definition at line 428 of file Powerset.defs.hh.
typedef Powerset::Sequence::const_iterator Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::Base [protected] |
typedef std::iterator_traits<Base> Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::Traits [protected] |
typedef Traits::iterator_category Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::iterator_category |
Definition at line 446 of file Powerset.defs.hh.
typedef Traits::value_type Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::value_type |
Definition at line 447 of file Powerset.defs.hh.
typedef Traits::difference_type Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::difference_type |
Definition at line 448 of file Powerset.defs.hh.
typedef Traits::pointer Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::pointer |
Definition at line 449 of file Powerset.defs.hh.
typedef Traits::reference Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::reference |
Definition at line 450 of file Powerset.defs.hh.
Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::omega_const_iterator | ( | const Base & | b | ) | [inline, protected] |
Constructs from the lower-level const_iterator.
Definition at line 118 of file Powerset.inlines.hh.
00119 : base(b) { 00120 }
Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::omega_const_iterator | ( | ) | [inline] |
Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::omega_const_iterator | ( | const omega_const_iterator & | y | ) | [inline] |
Copy constructor.
Definition at line 112 of file Powerset.inlines.hh.
00113 : base(y.base) { 00114 }
Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::omega_const_iterator | ( | const omega_iterator & | y | ) | [inline] |
Constructs from the corresponding non-const iterator.
Definition at line 181 of file Powerset.inlines.hh.
00182 : base(y.base) { 00183 }
Powerset< D >::omega_const_iterator::reference Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator* | ( | ) | const [inline] |
Dereference operator.
Definition at line 124 of file Powerset.inlines.hh.
References Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::base.
00124 { 00125 return *base; 00126 }
Powerset< D >::omega_const_iterator::pointer Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator-> | ( | ) | const [inline] |
Indirect member selector.
Definition at line 130 of file Powerset.inlines.hh.
References Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::base.
00130 { 00131 return &*base; 00132 }
Powerset< D >::omega_const_iterator & Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator++ | ( | ) | [inline] |
Prefix increment operator.
Definition at line 136 of file Powerset.inlines.hh.
References Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::base.
Referenced by Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator++().
00136 { 00137 ++base; 00138 return *this; 00139 }
Powerset< D >::omega_const_iterator Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator++ | ( | int | ) | [inline] |
Postfix increment operator.
Definition at line 143 of file Powerset.inlines.hh.
References Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator++().
00143 { 00144 omega_const_iterator tmp = *this; 00145 operator++(); 00146 return tmp; 00147 }
Powerset< D >::omega_const_iterator & Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator-- | ( | ) | [inline] |
Prefix decrement operator.
Definition at line 151 of file Powerset.inlines.hh.
References Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::base.
Referenced by Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator--().
00151 { 00152 --base; 00153 return *this; 00154 }
Powerset< D >::omega_const_iterator Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator-- | ( | int | ) | [inline] |
Postfix decrement operator.
Definition at line 158 of file Powerset.inlines.hh.
References Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator--().
00158 { 00159 omega_const_iterator tmp = *this; 00160 operator--(); 00161 return tmp; 00162 }
bool Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator== | ( | const omega_const_iterator & | y | ) | const [inline] |
Returns true
if and only if *this
and y
are identical.
Definition at line 167 of file Powerset.inlines.hh.
References Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::base.
Referenced by Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator!=().
00167 { 00168 return base == y.base; 00169 }
bool Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator!= | ( | const omega_const_iterator & | y | ) | const [inline] |
Returns true
if and only if *this
and y
are different.
Definition at line 174 of file Powerset.inlines.hh.
References Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator==().
00174 { 00175 return !operator==(y); 00176 }
friend class Powerset [friend] |
Definition at line 442 of file Powerset.defs.hh.
bool operator== | ( | const typename Powerset< D >::omega_iterator & | x, | |
const typename Powerset< D >::omega_const_iterator & | y | |||
) | [related] |
Mixed comparison operator: returns true
if and only if (the const version of) x
is identical to y
.
Definition at line 188 of file Powerset.inlines.hh.
bool operator!= | ( | const typename Powerset< D >::omega_iterator & | x, | |
const typename Powerset< D >::omega_const_iterator & | y | |||
) | [related] |
Mixed comparison operator: returns true
if and only if (the const version of) x
is different from y
.
Definition at line 196 of file Powerset.inlines.hh.
Base Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::base [protected] |
A const_iterator on the sequence of elements.
Definition at line 437 of file Powerset.defs.hh.
Referenced by Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator*(), Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator++(), Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator--(), Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator->(), and Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator::operator==().