Value iterator for unsupported values. More...
Constructors and initialization | |
Unsupported (SupportValues &sv0) | |
Initialize with values from sv. | |
Iteration control | |
bool | operator() (void) const |
Test whether iterator is still at a value or done. | |
void | operator++ (void) |
Move iterator to next value (if possible) | |
Value access | |
int | val (void) const |
Return current value. |
Value iterator for unsupported values.
Gecode::Int::SupportValues::Unsupported::Unsupported | ( | SupportValues & | sv0 | ) | [inline] |
Initialize with values from sv.
Definition at line 154 of file support-values.hpp.
bool Gecode::Int::SupportValues::Unsupported::operator() | ( | void | ) | const [inline] |
Test whether iterator is still at a value or done.
Definition at line 167 of file support-values.hpp.
void Gecode::Int::SupportValues::Unsupported::operator++ | ( | void | ) | [inline] |
Move iterator to next value (if possible)
Definition at line 161 of file support-values.hpp.
int Gecode::Int::SupportValues::Unsupported::val | ( | void | ) | const [inline] |
Return current value.
Definition at line 173 of file support-values.hpp.