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

enum Gecode::Iter::Ranges::SubsumptionStatus

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.hpp.

---

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 78 of file ranges-operations.hpp.

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 89 of file ranges-operations.hpp.

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 104 of file ranges-operations.hpp.

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 121 of file ranges-operations.hpp.

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 138 of file ranges-operations.hpp.