Operations on range iterators
[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. |
Enumeration Type Documentation
Is one iterator subsumed by another, or is the intersection empty?
- Enumerator:
-
SS_SUBSUMED Subsumed (subset). SS_EMPTY Intersection is empty. SS_NONE Neither of the above.
Definition at line 64 of file ranges-operations.icc.
Function Documentation
template<class I>
unsigned int Gecode::Iter::Ranges::size | ( | I & | i | ) | [inline] |
template<class I, class J>
bool Gecode::Iter::Ranges::equal | ( | I & | i, | |
J & | j | |||
) | [inline] |
Check whether range iterators i and j are equal.
Definition at line 88 of file ranges-operations.icc.
template<class I, class J>
bool Gecode::Iter::Ranges::subset | ( | I & | i, | |
J & | j | |||
) | [inline] |
Check whether range iterator i is subset of range iterator j.
Definition at line 101 of file ranges-operations.icc.
template<class I, class J>
bool Gecode::Iter::Ranges::disjoint | ( | I & | i, | |
J & | j | |||
) | [inline] |
Check whether range iterators i and j are disjoint.
Definition at line 116 of file ranges-operations.icc.
template<class I, class J>
SubsumptionStatus Gecode::Iter::Ranges::subsumes | ( | I & | i, | |
J & | j | |||
) | [inline] |
Check whether range iterator i subsumes j, or whether intersection is empty.
Definition at line 131 of file ranges-operations.icc.