sortsup.icc File Reference

(Revision: 5732)

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Int
namespace	Gecode::Int::Sorted
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< Tuple >
	Index comparison for ViewArray<Tuple>. More...
class	Gecode::Int::Sorted::TupleMaxIncExt< Tuple >
	Extended Index comparison for ViewArray<Tuple>. More...
class	Gecode::Int::Sorted::TupleMinInc< View >
	View comparison on ViewTuples. More...
class	Gecode::Int::Sorted::TupleMinIncExt< View >
	Extended View comparison on ViewTuples. More...
class	Gecode::Int::Sorted::TupleMinIncPerm< View >
	View comparison on ViewTuples. More...
class	Gecode::Int::Sorted::TupleMaxIncPerm< View >
	View comparison on ViewTuples. More...
Functions
template<class View, class Tuple, bool Perm>
bool	Gecode::Int::Sorted::check_subsumption (Space *, ViewArray< Tuple > &xz, ViewArray< View > &y, bool &subsumed, int &dropfst)
	Subsumption test.
template<class View, class Tuple, bool Perm>
bool	Gecode::Int::Sorted::array_assigned (Space *home, ViewArray< Tuple > &xz, ViewArray< View > &y, bool &subsumed, bool &match_fixed, bool &, bool &noperm_bc)
	Check for assignment of a variable array.
template<class View, class Tuple, bool Perm>
bool	Gecode::Int::Sorted::channel (Space *home, ViewArray< Tuple > &xz, ViewArray< View > &y, bool &nofix)
	Channel between x, y and z.