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.
|