Additional Inherited Members |
| ScaleUp (void) |
| Default constructor.
|
| ScaleUp (ViewRanges< IntView > &i, int a) |
| Initialize with ranges from i and scale factor a.
|
void | init (ViewRanges< IntView > &i, int a) |
| Initialize with ranges from i and scale factor a.
|
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)
|
ViewRanges< IntView > | i |
| Iterator to be scaled.
|
int | a |
| Scale-factor.
|
int | cur |
| Current value of range.
|
int | end |
| Last value of scaled range of i.
|
template<>
class Gecode::Int::ViewRanges< IntScaleView >
Range iterator for integer-precision scale integer views
Definition at line 284 of file scale.hpp.