
Range iterator for least upper bound of complement set views More...
#include <complement.hpp>
Constructors and initialization | |
| LubRanges (void) | |
| Default constructor. | |
| LubRanges (const ComplementView< View > &x) | |
| Initialize with ranges for view x. | |
| void | init (const ComplementView< View > &x) |
| Initialize with ranges for view x. | |
Iteration control | |
| bool | operator() (void) const |
| Test whether iterator is still at a range or done. | |
| void | operator++ (void) |
| Move iterator to next range (if possible) | |
Range access | |
| int | min (void) const |
| Return smallest value of range. | |
| int | max (void) const |
| Return largest value of range. | |
| unsigned int | width (void) const |
| Return width of ranges (distance between minimum and maximum) | |
Constructors and initialization | |
| LubRanges (void) | |
| Default constructor. | |
| LubRanges (const ComplementView< View > &x) | |
| Initialize with least upper bound ranges for set variable x. | |
| void | init (const ComplementView< View > &x) |
| Initialize with least upper bound ranges for set variable x. | |
Iteration control | |
| bool | operator() (void) const |
| Test whether iterator is still at a range or done. | |
| void | operator++ (void) |
| Move iterator to next range (if possible) | |
Range access | |
| int | min (void) const |
| Return smallest value of range. | |
| int | max (void) const |
| Return largest value of range. | |
| unsigned int | width (void) const |
| Return width of range (distance between minimum and maximum) | |
Range iterator for least upper bound of complement set views
Definition at line 331 of file complement.hpp.
|
inline |
Default constructor.
Definition at line 339 of file complement.hpp.
|
inline |
Initialize with ranges for view x.
Definition at line 367 of file complement.hpp.
| Gecode::Set::LubRanges< ComplementView< View > >::LubRanges | ( | void | ) |
Default constructor.
| Gecode::Set::LubRanges< ComplementView< View > >::LubRanges | ( | const ComplementView< View > & | x | ) |
Initialize with least upper bound ranges for set variable x.
|
inline |
Initialize with ranges for view x.
Definition at line 372 of file complement.hpp.
|
inline |
Test whether iterator is still at a range or done.
Definition at line 379 of file complement.hpp.
|
inline |
Move iterator to next range (if possible)
Definition at line 383 of file complement.hpp.
|
inline |
Return smallest value of range.
Definition at line 387 of file complement.hpp.
|
inline |
Return largest value of range.
Definition at line 391 of file complement.hpp.
|
inline |
Return width of ranges (distance between minimum and maximum)
Definition at line 395 of file complement.hpp.
| void Gecode::Set::LubRanges< ComplementView< View > >::init | ( | const ComplementView< View > & | x | ) |
Initialize with least upper bound ranges for set variable x.
| bool Gecode::Set::LubRanges< ComplementView< View > >::operator() | ( | void | ) | const |
Test whether iterator is still at a range or done.
| void Gecode::Set::LubRanges< ComplementView< View > >::operator++ | ( | void | ) |
Move iterator to next range (if possible)
| int Gecode::Set::LubRanges< ComplementView< View > >::min | ( | void | ) | const |
Return smallest value of range.
| int Gecode::Set::LubRanges< ComplementView< View > >::max | ( | void | ) | const |
Return largest value of range.
| unsigned int Gecode::Set::LubRanges< ComplementView< View > >::width | ( | void | ) | const |
Return width of range (distance between minimum and maximum)