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)
|
| double | min (void) const |
| | Return smallest value of range.
|
| double | max (void) const |
| | Return largest value of range.
|
| double | width (void) const |
| | Return width of range (distance between minimum and maximum)
|
| ViewRanges< IntView > | i |
| | Iterator to be scaled.
|
| int | a |
| | Scale-factor.
|
| double | cur |
| | Current value of range.
|
| double | end |
| | Last value of scaled range of i.
|
template<>
class Gecode::Int::ViewRanges< DoubleScaleView >
Range iterator for double-precision scale integer views
Definition at line 319 of file scale.hpp.