ranges-operations.hpp File Reference
(Revision: 9692)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace. | |
namespace | Gecode::Iter |
Range and value iterators. | |
namespace | Gecode::Iter::Ranges |
Range iterators. | |
Enumerations | |
enum | Gecode::Iter::Ranges::SubsumptionStatus { Gecode::Iter::Ranges::SS_SUBSUMED, Gecode::Iter::Ranges::SS_EMPTY, Gecode::Iter::Ranges::SS_NONE } |
Is one iterator subsumed by another, or is the intersection empty? More... | |
Functions | |
template<class I > | |
unsigned int | Gecode::Iter::Ranges::size (I &i) |
Size of all ranges of range iterator i. | |
template<class I , class J > | |
bool | Gecode::Iter::Ranges::equal (I &i, J &j) |
Check whether range iterators i and j are equal. | |
template<class I , class J > | |
bool | Gecode::Iter::Ranges::subset (I &i, J &j) |
Check whether range iterator i is subset of range iterator j. | |
template<class I , class J > | |
bool | Gecode::Iter::Ranges::disjoint (I &i, J &j) |
Check whether range iterators i and j are disjoint. | |
template<class I , class J > | |
SubsumptionStatus | Gecode::Iter::Ranges::subsumes (I &i, J &j) |
Check whether range iterator i subsumes j, or whether intersection is empty. |