Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
sortsup.hpp File Reference

(Revision: 10684)

Go to the source code of this file.

Classes

class  Gecode::Int::Sorted::Rank
 Storage class for mininmum and maximum of a variable. More...
 
class  Gecode::Int::Sorted::SccComponent
 Representation of a strongly connected component. More...
 
class  Gecode::Int::Sorted::OfflineMinItem
 Item used to construct the OfflineMin sequence. More...
 
class  Gecode::Int::Sorted::OfflineMin
 Offline-Min datastructure Used to compute the perfect matching between the unsorted views x and the sorted views y. More...
 
class  Gecode::Int::Sorted::TupleMaxInc< View >
 Index comparison for ViewArray<Tuple>. More...
 
class  Gecode::Int::Sorted::TupleMaxIncExt< View >
 Extended Index comparison for ViewArray<Tuple>. More...
 
class  Gecode::Int::Sorted::TupleMinInc< View >
 View comparison on ViewTuples. More...
 
class  Gecode::Int::Sorted::ViewPair< View >
 Pair of views. More...
 
class  Gecode::Int::Sorted::TupleMinIncExt< View >
 Extended view comparison on pairs of views. More...
 

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Int
 Finite domain integers.
 
 Gecode::Int::Sorted
 Sorted propagators
 

Functions

template<class View , bool Perm>
bool Gecode::Int::Sorted::check_subsumption (ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z, bool &subsumed, int &dropfst)
 Subsumption test. More...
 
template<class View , bool Perm>
bool Gecode::Int::Sorted::array_assigned (Space &home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z, bool &subsumed, bool &match_fixed, bool &, bool &noperm_bc)
 Check for assignment of a variable array. More...
 
template<class View >
bool Gecode::Int::Sorted::channel (Space &home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z, bool &nofix)
 Channel between x, y and z. More...