ranges-operations.icc File Reference
(Revision: 5933)
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::Iter |
| namespace | Gecode::Iter::Ranges |
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. | |
