Generated on Mon Nov 30 23:53:42 2009 for Gecode by doxygen 1.6.1

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

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.