
Range iterator for the least upper bound of double-complement-views. More...
#include <complement.hpp>
Constructors and initialization | |
| LubRanges (void) | |
| Default constructor. More... | |
| LubRanges (const ComplementView< ComplementView< View > > &x) | |
| Initialize with ranges for view x. More... | |
| void | init (const ComplementView< ComplementView< View > > &x) |
| Initialize with ranges for view x. More... | |
Additional Inherited Members | |
Public Member Functions inherited from Gecode::Set::LubRanges< View > | |
| LubRanges (void) | |
| Default constructor. More... | |
| LubRanges (const View &x) | |
| Initialize with least upper bound ranges for set variable x. More... | |
| void | init (const View &x) |
| Initialize with least upper bound ranges for set variable x. More... | |
| bool | operator() (void) const |
| Test whether iterator is still at a range or done. More... | |
| void | operator++ (void) |
| Move iterator to next range (if possible) More... | |
| int | min (void) const |
| Return smallest value of range. More... | |
| int | max (void) const |
| Return largest value of range. More... | |
| unsigned int | width (void) const |
| Return width of range (distance between minimum and maximum) More... | |
Range iterator for the least upper bound of double-complement-views.
This class provides (by specialization) a range iterator for the least upper bounds of complements of complement set views.
Definition at line 410 of file complement.hpp.
|
inline |
Default constructor.
Definition at line 416 of file complement.hpp.
|
inline |
Initialize with ranges for view x.
Definition at line 427 of file complement.hpp.
|
inline |
Initialize with ranges for view x.
Definition at line 433 of file complement.hpp.