Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark Class Reference
Value iterator for values in index-value map. More...
#include <element.hh>
Public Member Functions | |
| IterValUnmark (IdxVal *iv) | |
| Initialize with start. | |
| bool | operator() (void) const |
| Test whether more pairs to be iterated. | |
| void | operator++ (void) |
| Move to next index value pair (next value). | |
| Val | val (void) const |
| Return value of current index value pair. | |
Detailed Description
template<class V0, class V1, class Idx, class Val>
class Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark
Value iterator for values in index-value map.
Note that the iterated value sequence is not strictly increasing (might contain duplicates).
The iterator also removes marked index-value pairs.
Definition at line 129 of file element.hh.
Constructor & Destructor Documentation
template<class V0 , class V1 , class Idx , class Val >
| Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark::IterValUnmark | ( | IdxVal * | iv | ) | [inline] |
Member Function Documentation
template<class V0 , class V1 , class Idx , class Val >
| bool Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark::operator() | ( | void | ) | const [inline] |
template<class V0 , class V1 , class Idx , class Val >
| void Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark::operator++ | ( | void | ) | [inline] |
template<class V0 , class V1 , class Idx , class Val >
| Val Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterValUnmark::val | ( | void | ) | const [inline] |
The documentation for this class was generated from the following files:
- gecode/int/element.hh (Revision: 10846)
- gecode/int/element/int.hpp (Revision: 12400)