Value iterator for values in index-value map. More...
#include <element.hh>
Public Member Functions | |
IterVal (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).
Definition at line 107 of file element.hh.
Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal::IterVal | ( | IdxVal * | iv | ) | [inline] |
bool Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal::operator() | ( | void | ) | const [inline] |
void Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal::operator++ | ( | void | ) | [inline] |
Val Gecode::Int::Element::Int< V0, V1, Idx, Val >::IterVal::val | ( | void | ) | const [inline] |