(Revision: 13068)
Go to the source code of this file.
|
template<class View , bool Perm> |
void | Gecode::Int::Sorted::sort_sigma (Space &home, ViewArray< View > &x, ViewArray< View > &z) |
| Build . More...
|
|
template<class View , bool Perm> |
void | Gecode::Int::Sorted::sort_tau (ViewArray< View > &x, ViewArray< View > &z, int tau[]) |
| Build . More...
|
|
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. More...
|
|
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. More...
|
|