(Revision: 12431)
Go to the source code of this file.
|
void | Gecode::Int::Distinct::pathset_t (HallInfo hall[], int start, int end, int to) |
|
void | Gecode::Int::Distinct::pathset_h (HallInfo hall[], int start, int end, int to) |
|
int | Gecode::Int::Distinct::pathmin_h (const HallInfo hall[], int i) |
|
int | Gecode::Int::Distinct::pathmin_t (const HallInfo hall[], int i) |
|
int | Gecode::Int::Distinct::pathmax_h (const HallInfo hall[], int i) |
|
int | Gecode::Int::Distinct::pathmax_t (const HallInfo hall[], int i) |
|
template<class View > |
ExecStatus | Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x, int &min_x, int &max_x) |
| Perform bounds consistent distinct propagation. More...
|
|
template<class View > |
ExecStatus | Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x) |
| Perform bounds consistent distinct propagation. More...
|
|