Gecode::Int::Sorted::ViewPair< View > Class Template Reference
Detailed Description
template<class View>
class Gecode::Int::Sorted::ViewPair< 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 347 of file sortsup.icc.
Public Attributes | |
| View | x |
| View | z |
Member Data Documentation
template<class View>
| View Gecode::Int::Sorted::ViewPair< View >::x |
Definition at line 349 of file sortsup.icc.
template<class View>
| View Gecode::Int::Sorted::ViewPair< View >::z |
Definition at line 350 of file sortsup.icc.
The documentation for this class was generated from the following file:
- gecode/int/sorted/sortsup.icc (Revision: 7290)