#include <ppl.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 Congruence & | operator* () const |
Dereference operator. | |
const Congruence * | 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. |
A const_iterator is used to provide read-only access to each congruence contained in an object of Congruence_System.
gr
: const Congruence_System& cgs = gr.congruences(); for (Congruence_System::const_iterator i = cgs.begin(), cgs_end = cgs.end(); i != cgs_end; ++i) cout << *i << endl;