Generated on Wed Jan 4 17:49:15 2006 for Gecode by doxygen 1.4.6

sortsup.icc File Reference

(Revision: 2696)

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::Int
namespace  Gecode::Int::Sortedness

Classes

class  Gecode::Int::Sortedness::OfflineMinItem
 Item used to construct the OfflineMin sequence. More...
class  Gecode::Int::Sortedness::OfflineMin
 Offline-Min datastructure Used to compute the perfect matching between the unsorted views x and the sorted views y. More...
class  Gecode::Int::Sortedness::TupleMaxInc< Tuple >
 Index comparison for ViewArray<Tuple>. More...
class  Gecode::Int::Sortedness::TupleMinInc< View >
 View comparison on ViewTuples. More...
class  Gecode::Int::Sortedness::TupleMinIncPerm< View >
 View comparison on ViewTuples. More...

Functions

template<class View, class Tuple, bool Perm>
bool Gecode::Int::Sortedness::check_subsumption (Space *home, ViewArray< Tuple > &xz, ViewArray< View > &y, bool &subsumed, int &dropfst)
 Subsumption test.
std::ostream & Gecode::Int::Sortedness::operator<< (std::ostream &os, OfflineMin seq)
 Print an OfflineMin sequence.
template<class View, class Tuple, bool Perm, bool shared>
bool Gecode::Int::Sortedness::array_assigned (Space *home, ViewArray< Tuple > &xz, ViewArray< View > &y, bool &subsumed, bool &match_fixed, bool &nofix)
 Check for assignment of a variable array.