Operations on range iterators
[Range iterators]

Enumerations
enum	Gecode::Iter::Ranges::CompareStatus { Gecode::Iter::Ranges::CS_SUBSET, Gecode::Iter::Ranges::CS_DISJOINT, Gecode::Iter::Ranges::CS_NONE }
	Comapre two iterators with each other. 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>
CompareStatus	Gecode::Iter::Ranges::compare (I &i, J &j)
	Check whether range iterator i is a subset of j, or whether they are disjoint.

---

Enumeration Type Documentation

enum Gecode::Iter::Ranges::CompareStatus

Comapre two iterators with each other.

Enumerator:

CS_SUBSET	First is subset of second iterator.
CS_DISJOINT	Intersection is empty.
CS_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>

CompareStatus Gecode::Iter::Ranges::compare	(	I &	i,
		J &	j
	)			[inline]

Check whether range iterator i is a subset of j, or whether they are disjoint.

Definition at line 138 of file ranges-operations.hpp.