Go to the source code of this file.
|
template<class View, bool Perm> |
void | Gecode::Int::Sorted::sort_sigma (ViewArray< View > &x, ViewArray< View > &z) |
| Build .
|
template<class View, bool Perm> |
void | Gecode::Int::Sorted::sort_tau (ViewArray< View > &x, ViewArray< View > &z, int tau[]) |
| Build .
|
template<class View> |
bool | Gecode::Int::Sorted::normalize (Space &home, ViewArray< View > &y, ViewArray< View > &x, bool &nofix) |
| Performing normalization on the views in y.
|
template<class View> |
bool | Gecode::Int::Sorted::perm_bc (Space &home, int tau[], SccComponent sinfo[], int scclist[], ViewArray< View > &x, ViewArray< View > &z, bool &crossingedge, bool &nofix) |
| Bounds consistency on the permutation views.
|