
Value iterator for indices in index-value map. More...
#include <element.hh>
Public Member Functions | |
| IterIdxUnmark (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 index) | |
| Idx | val (void) const |
| Return index of current index value pair. | |
Value iterator for indices in index-value map.
The iterator also removes marked index-value pairs.
Definition at line 87 of file element.hh.
| Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterIdxUnmark::IterIdxUnmark | ( | IdxVal * | iv | ) | [inline] |
| bool Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterIdxUnmark::operator() | ( | void | ) | const [inline] |
| void Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterIdxUnmark::operator++ | ( | void | ) | [inline] |
| Idx Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterIdxUnmark::val | ( | void | ) | const [inline] |