Go to the source code of this file.
|
template<class IntType > |
void | Gecode::Int::Distinct::pathset_t (HallInfo< IntType > hall[], IntType start, IntType end, IntType to) |
|
template<class IntType > |
void | Gecode::Int::Distinct::pathset_h (HallInfo< IntType > hall[], IntType start, IntType end, IntType to) |
|
template<class IntType > |
IntType | Gecode::Int::Distinct::pathmin_h (const HallInfo< IntType > hall[], IntType i) |
|
template<class IntType > |
IntType | Gecode::Int::Distinct::pathmin_t (const HallInfo< IntType > hall[], IntType i) |
|
template<class IntType > |
IntType | Gecode::Int::Distinct::pathmax_h (const HallInfo< IntType > hall[], IntType i) |
|
template<class IntType > |
IntType | Gecode::Int::Distinct::pathmax_t (const HallInfo< IntType > hall[], IntType i) |
|
template<class View , class IntType > |
ExecStatus | Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x, int *minsorted, int *maxsorted) |
|
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.
|
|
template<class View > |
ExecStatus | Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x) |
| Perform bounds consistent distinct propagation.
|
|