34 namespace Gecode {
namespace Iter {
namespace Ranges {
78 unsigned int width(
void)
const;
83 unsigned int size(
void)
const;
bool operator()(void)
Test whether iterator is still at a range or done.
void operator++(void)
Move iterator to next range (if possible)
unsigned int _size
Accumulated size.
unsigned int size(void) const
Return accumulated size.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int min(void) const
Return smallest value of range.
void init(I &i)
Initialize with ranges from i.
Range iterator with size counting
int max(void) const
Return largest value of range.
Gecode toplevel namespace
Size(void)
Default constructor.
I i
Iterator to compute size of.