Gecode::Int::Sortedness::TupleMinIncExt< View > Class Template Reference
List of all members.Detailed Description
template<class View>
class Gecode::Int::Sortedness::TupleMinIncExt< View >
Extended View comparison on ViewTuples.
Checks whether the lower domain bound of the first component of x (the variable itself) is smaller than the lower domain bound of the first component of y. If they are equal it checks their upper bounds. If they are also equal we sort the views by the permutation variables.
Definition at line 408 of file sortsup.icc.
Public Member Functions | |
| bool | operator() (const View &x, const View &y) |
Member Function Documentation
|
||||||||||||||||
|
Definition at line 410 of file sortsup.icc. |
The documentation for this class was generated from the following file:
- gecode/int/sortedness/sortsup.icc (Revision: 3512)