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