93 unsigned int width(
void)
const;
103 :
r(r0),
c(0U),
n(n0) {}
107 :
r(r0),
c(0U),
n(static_cast<unsigned int>(n0)) {}
116 r=r0;
c=0U;
n=
static_cast<unsigned int>(n0);
143 return static_cast<unsigned int>(
r[
c].max-
r[
c].min)+1;
bool operator()(void) const
Test whether iterator is still at a range or done.
unsigned int c
Current range.
unsigned int n
Number of ranges in array.
int min(void) const
Return smallest value of range.
void reset(void)
Reset iterator to start from beginning.
Array(void)
Default constructor.
void init(Range *r, unsigned int n)
Initialize with n ranges from r.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Range * r
Array for ranges.
int max(void) const
Return largest value of range.
void operator++(void)
Move iterator to next range (if possible)
Range and value iterators.
Gecode toplevel namespace