
Range iterator for the unknown set. More...
#include <var-imp.hpp>
Constructors and initialization | |
| UnknownRanges (void) | |
| Default constructor. More... | |
| UnknownRanges (const T &x) | |
| Initialize with unknown set ranges for set variable x. More... | |
| void | init (const T &x) |
| Initialize with unknown set ranges for set variable x. More... | |
Additional Inherited Members | |
Public Member Functions inherited from Gecode::Iter::Ranges::Diff< LubRanges< T >, GlbRanges< T > > | |
| Diff (void) | |
| Default constructor. More... | |
| Diff (LubRanges< T > &i, GlbRanges< T > &j) | |
| Initialize with iterator i and j. More... | |
| void | init (LubRanges< T > &i, GlbRanges< T > &j) |
| Initialize with iterator i and j. More... | |
| void | operator++ (void) |
| Move iterator to next range (if possible) More... | |
Public Member Functions inherited from Gecode::Iter::Ranges::MinMax | |
| MinMax (void) | |
| Default constructor. More... | |
| MinMax (int min, int max) | |
| Initialize with range min to max. More... | |
| bool | operator() (void) const |
| Test whether iterator is still at a range or done. 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... | |
Protected Member Functions inherited from Gecode::Iter::Ranges::MinMax | |
| void | finish (void) |
| Set range such that iteration stops More... | |
Protected Attributes inherited from Gecode::Iter::Ranges::Diff< LubRanges< T >, GlbRanges< T > > | |
| LubRanges< T > | i |
| Iterator from which to subtract. More... | |
| GlbRanges< T > | j |
| Iterator to be subtracted. More... | |
Protected Attributes inherited from Gecode::Iter::Ranges::MinMax | |
| int | mi |
| Minimum of current range. More... | |
| int | ma |
| Maximum of current range. More... | |
Range iterator for the unknown set.
This class provides a range iterator for the unknown set of all set views. The unknown set is the difference between least upper and greatest lower bound, i.e. those elements which still may be in the set, but are not yet known to be in.
Definition at line 406 of file var-imp.hpp.
|
inline |
|
inline |
|
inline |