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.
Gecode::Int::Element::Int::IterIdxUnmark::IterIdxUnmark | ( | IdxVal * | iv | ) | [inline] |
bool Gecode::Int::Element::Int::IterIdxUnmark::operator() | ( | void | ) | const [inline] |
void Gecode::Int::Element::Int::IterIdxUnmark::operator++ | ( | void | ) | [inline] |
Idx Gecode::Int::Element::Int::IterIdxUnmark::val | ( | void | ) | const [inline] |