|
PPL
1.1
|
An iterator over a system of congruences. More...
#include <ppl.hh>
Inherits iterator< std::forward_iterator_tag, Congruence, ptrdiff_t, const Congruence *, const Congruence & >.
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. | |
An iterator over a system of congruences.
A const_iterator is used to provide read-only access to each congruence contained in an object of Congruence_System.
gr: