An iterator over a system of constraints. More...
#include <Constraint_System.defs.hh>

Public Member Functions | |
| const_iterator () | |
| Default constructor. | |
| const_iterator (const const_iterator &y) | |
| Ordinary copy constructor. | |
| ~const_iterator () | |
| Destructor. | |
| const_iterator & | operator= (const const_iterator &y) |
| Assignment operator. | |
| const Constraint & | operator* () const |
| Dereference operator. | |
| const Constraint * | operator-> () const |
| Indirect member selector. | |
| const_iterator & | operator++ () |
| Prefix increment operator. | |
| const_iterator | operator++ (int) |
| Postfix increment operator. | |
| bool | operator== (const const_iterator &y) const |
Returns true if and only if *this and y are identical. | |
| bool | operator!= (const const_iterator &y) const |
Returns true if and only if *this and y are different. | |
Private Member Functions | |
| const_iterator (const Linear_System::const_iterator &iter, const Constraint_System &csys) | |
| Constructor. | |
| void | skip_forward () |
*this skips to the next non-trivial constraint. | |
Private Attributes | |
| Linear_System::const_iterator | i |
| The const iterator over the matrix of constraints. | |
| const Linear_System * | csp |
| A const pointer to the matrix of constraints. | |
Friends | |
| class | Constraint_System |
An iterator over a system of constraints.
A const_iterator is used to provide read-only access to each constraint contained in a Constraint_System object.
ph: const Constraint_System& cs = ph.constraints(); for (Constraint_System::const_iterator i = cs.begin(), cs_end = cs.end(); i != cs_end; ++i) cout << *i << endl;
Definition at line 204 of file Constraint_System.defs.hh.
| Parma_Polyhedra_Library::Constraint_System::const_iterator::const_iterator | ( | ) | [inline] |
Default constructor.
Definition at line 101 of file Constraint_System.inlines.hh.
| Parma_Polyhedra_Library::Constraint_System::const_iterator::const_iterator | ( | const const_iterator & | y | ) | [inline] |
Ordinary copy constructor.
Definition at line 106 of file Constraint_System.inlines.hh.
| Parma_Polyhedra_Library::Constraint_System::const_iterator::~const_iterator | ( | ) | [inline] |
| Parma_Polyhedra_Library::Constraint_System::const_iterator::const_iterator | ( | const Linear_System::const_iterator & | iter, | |
| const Constraint_System & | csys | |||
| ) | [inline, private] |
Constructor.
Definition at line 157 of file Constraint_System.inlines.hh.
| bool Parma_Polyhedra_Library::Constraint_System::const_iterator::operator!= | ( | const const_iterator & | y | ) | const [inline] |
Returns true if and only if *this and y are different.
Definition at line 151 of file Constraint_System.inlines.hh.
References Parma_Polyhedra_Library::Matrix::const_iterator::i, and i.
00151 { 00152 return i != y.i; 00153 }
| const Constraint & Parma_Polyhedra_Library::Constraint_System::const_iterator::operator* | ( | ) | const [inline] |
Dereference operator.
Definition at line 122 of file Constraint_System.inlines.hh.
| Constraint_System::const_iterator Parma_Polyhedra_Library::Constraint_System::const_iterator::operator++ | ( | int | ) | [inline] |
Postfix increment operator.
Definition at line 139 of file Constraint_System.inlines.hh.
References operator++().
00139 { 00140 const const_iterator tmp = *this; 00141 operator++(); 00142 return tmp; 00143 }
| Constraint_System::const_iterator & Parma_Polyhedra_Library::Constraint_System::const_iterator::operator++ | ( | ) | [inline] |
Prefix increment operator.
Definition at line 132 of file Constraint_System.inlines.hh.
References i, and skip_forward().
Referenced by operator++().
00132 { 00133 ++i; 00134 skip_forward(); 00135 return *this; 00136 }
| const Constraint * Parma_Polyhedra_Library::Constraint_System::const_iterator::operator-> | ( | ) | const [inline] |
Indirect member selector.
Definition at line 127 of file Constraint_System.inlines.hh.
References i.
00127 { 00128 return static_cast<const Constraint*>(i.operator->()); 00129 }
| Constraint_System::const_iterator & Parma_Polyhedra_Library::Constraint_System::const_iterator::operator= | ( | const const_iterator & | y | ) | [inline] |
Assignment operator.
Definition at line 115 of file Constraint_System.inlines.hh.
References csp, Parma_Polyhedra_Library::Matrix::const_iterator::i, and i.
| bool Parma_Polyhedra_Library::Constraint_System::const_iterator::operator== | ( | const const_iterator & | y | ) | const [inline] |
Returns true if and only if *this and y are identical.
Definition at line 146 of file Constraint_System.inlines.hh.
References Parma_Polyhedra_Library::Matrix::const_iterator::i, and i.
00146 { 00147 return i == y.i; 00148 }
| void Parma_Polyhedra_Library::Constraint_System::const_iterator::skip_forward | ( | ) | [private] |
*this skips to the next non-trivial constraint.
Definition at line 324 of file Constraint_System.cc.
References csp, Parma_Polyhedra_Library::Matrix::end(), and i.
Referenced by operator++().
friend class Constraint_System [friend] |
Definition at line 248 of file Constraint_System.defs.hh.
A const pointer to the matrix of constraints.
Definition at line 254 of file Constraint_System.defs.hh.
Referenced by operator=(), and skip_forward().
Linear_System::const_iterator Parma_Polyhedra_Library::Constraint_System::const_iterator::i [private] |
The const iterator over the matrix of constraints.
Definition at line 251 of file Constraint_System.defs.hh.
Referenced by operator!=(), operator++(), operator->(), operator=(), operator==(), and skip_forward().
1.6.3