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