Additional Inherited Members |
| Diff (void) |
| Default constructor.
|
| Diff (LubRanges< T > &i, GlbRanges< T > &j) |
| Initialize with iterator i and j.
|
void | init (LubRanges< T > &i, GlbRanges< T > &j) |
| Initialize with iterator i and j.
|
void | operator++ (void) |
| Move iterator to next range (if possible)
|
LubRanges< T > | i |
| Iterator from which to subtract.
|
GlbRanges< T > | j |
| Iterator to be subtracted.
|
int | mi |
| Minimum of current range.
|
int | ma |
| Maximum of current range.
|
template<class T>
class Gecode::Set::UnknownRanges< T >
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.