40 namespace Gecode {
namespace Iter {
namespace Ranges {
49 template<
class I,
bool strict=false>
80 unsigned int width(
void)
const;
85 template<
class I,
bool strict>
89 template<
class I,
bool strict>
94 while (
i() && (
i.max() < 0)) ++
i;
96 while (
i() && (
i.max() <= 0)) ++
i;
100 template<
class I,
bool strict>
106 template<
class I,
bool strict>
111 template<
class I,
bool strict>
117 template<
class I,
bool strict>
126 template<
class I,
bool strict>
131 template<
class I,
bool strict>
134 return static_cast<unsigned int>(
max()-
min()+1);
const FloatNum max
Largest allowed float value.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int max(void) const
Return largest value of range.
void operator++(void)
Move iterator to next range (if possible)
void init(I &i)
Initialize with ranges from i.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int min(void) const
Return smallest value of range.
bool operator()(void) const
Test whether iterator is still at a range or done.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Gecode toplevel namespace
Range iterator for positive part of a range iterator.
Positive(void)
Default constructor.