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