Additional Inherited Members |
| IntVarImpFwd (void) |
| Default constructor.
|
| IntVarImpFwd (const IntVarImp *x) |
| Initialize with ranges from variable implementation x.
|
void | init (const IntVarImp *x) |
| Initialize with ranges from variable implementation x.
|
bool | operator() (void) const |
| Test whether iterator is still at a range or done.
|
void | operator++ (void) |
| Move iterator to next range (if possible)
|
int | min (void) const |
| Return smallest value of range.
|
int | max (void) const |
| Return largest value of range.
|
unsigned int | width (void) const |
| Return width of range (distance between minimum and maximum)
|
template<>
class Gecode::Int::ViewRanges< IntView >
Range iterator for integer variable views
Definition at line 236 of file int.hpp.