main page modules namespaces classes files
Gecode home

search for 

Operations on range iterators
[Range iterators]

Collaboration diagram for Operations on range iterators:

---

Detailed Description

Requires

 #include "gecode/iter.hh" 

Enumerations
enum	Gecode::Iter::Ranges::SubsumtionStatus { 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>
SubsumtionStatus	Gecode::Iter::Ranges::subsumes (I &i, J &j)
	Check whether range iterator i subsumes j, or whether intersection is empty.

---

Enumeration Type Documentation

enum Gecode::Iter::Ranges::SubsumtionStatus

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 49 of file ranges-operations.icc.

---

Function Documentation

template<class I> unsigned int Gecode::Iter::Ranges::size (  I &  i  )  [inline]

Size of all ranges of range iterator i. Definition at line 63 of file ranges-operations.icc.

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 73 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 86 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 101 of file ranges-operations.icc.

template<class I, class J> SubsumtionStatus Gecode::Iter::Ranges::subsumes (  I &  i, J &  j )  [inline]

Check whether range iterator i subsumes j, or whether intersection is empty. Definition at line 116 of file ranges-operations.icc.