sortsup.icc File Reference
(Revision: 3512)
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::Int |
| namespace | Gecode::Int::Sortedness |
Classes | |
| class | Gecode::Int::Sortedness::Rank |
| Storage class for mininmum and maximum of a variable. More... | |
| class | Gecode::Int::Sortedness::SccComponent |
| Representation of a strongly connected component. More... | |
| 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::TupleMaxIncExt< Tuple > |
| Extended Index comparison for ViewArray<Tuple>. More... | |
| class | Gecode::Int::Sortedness::TupleMinInc< View > |
| View comparison on ViewTuples. More... | |
| class | Gecode::Int::Sortedness::TupleMinIncExt< View > |
| Extended View comparison on ViewTuples. More... | |
| class | Gecode::Int::Sortedness::TupleMinIncPerm< View > |
| View comparison on ViewTuples. More... | |
| class | Gecode::Int::Sortedness::TupleMaxIncPerm< View > |
| View comparison on ViewTuples. More... | |
Functions | |
| template<class View> | |
| void | Gecode::Int::Sortedness::pview (View &v) |
| Debugging: Print a View. | |
| template<class T, unsigned int n> | |
| std::ostream & | Gecode::Int::Sortedness::operator<< (std::ostream &os, ViewTuple< T, n > &xs) |
| Debugging: Print a ViewTuple. | |
| 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 | Gecode::Int::Sortedness::array_assigned (Space *home, ViewArray< Tuple > &xz, ViewArray< View > &y, bool &subsumed, bool &match_fixed, bool &nofix, bool &noperm_bc) |
| Check for assignment of a variable array. | |
| template<class View, class Tuple, bool Perm> | |
| bool | Gecode::Int::Sortedness::channel (Space *home, ViewArray< Tuple > &xz, ViewArray< View > &y, bool &nofix) |
| Channel between x, y and z. | |