38 namespace Gecode {
namespace Iter {
namespace Ranges {
92 cur =
i.min();
max =
i.max();
126 cur =
i.min();
max =
i.max();
void init(I &i)
Initialize with values from range iterator i.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void operator++(void)
Move iterator to next value (if possible)
Gecode::IntArgs i(4, 1, 2, 3, 4)
Value iterator from range iterator.
int max
End of current range.
bool operator()(void) const
Test whether iterator is still at a value or done.
void start(void)
Initialize iterator.
int val(void) const
Return current value.
ToValues(void)
Default constructor.
Gecode toplevel namespace