Support-based iterator: iterates values to be removed. More...
Public Member Functions | |
ResultIter (const SupportSet &s0, const IntView &x) | |
Initialize iterator. | |
void | operator++ (void) |
Increment to next supported value. | |
Protected Attributes | |
const SupportSet & | s |
The support set used. | |
unsigned int | p |
The current position of the value. |
Support-based iterator: iterates values to be removed.
Gecode::Int::Linear::SupportSet::ResultIter::ResultIter | ( | const SupportSet & | s0, |
const IntView & | x | ||
) | [inline] |
Initialize iterator.
Definition at line 182 of file int-dom.hpp.
void Gecode::Int::Linear::SupportSet::ResultIter::operator++ | ( | void | ) | [inline] |
Increment to next supported value.
Definition at line 189 of file int-dom.hpp.
const SupportSet& Gecode::Int::Linear::SupportSet::ResultIter::s [protected] |
The support set used.
Definition at line 66 of file int-dom.hpp.
unsigned int Gecode::Int::Linear::SupportSet::ResultIter::p [protected] |
The current position of the value.
Definition at line 68 of file int-dom.hpp.