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

ranges-operations.hpp File Reference

(Revision: 9692)

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace.


namespace  Gecode::Iter
 

Range and value iterators.


namespace  Gecode::Iter::Ranges
 

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.