40 namespace Gecode {
namespace Iter {
namespace Ranges {
50 template<
class I,
bool strict=false>
81 unsigned int width(
void)
const;
86 template<
class I,
bool strict>
90 template<
class I,
bool strict>
96 template<
class I,
bool strict>
100 template<
class I,
bool strict>
105 template<
class I,
bool strict>
109 return i() && (
i.min() < 0);
111 return i() && (
i.min() <= 0);
115 template<
class I,
bool strict>
120 template<
class I,
bool strict>
129 template<
class I,
bool strict>
132 return static_cast<unsigned int>(
max()-
min()+1);
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int max(void) const
Return largest value of range.
const FloatNum min
Smallest allowed float value.
Gecode::IntArgs i(4, 1, 2, 3, 4)
bool operator()(void) const
Test whether iterator is still at a range or done.
Negative(void)
Default constructor.
Range iterator for negative part of a range iterator.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
void init(I &i)
Initialize with ranges from i.
void operator++(void)
Move iterator to next range (if possible)
int min(void) const
Return smallest value of range.
Gecode toplevel namespace