Gecode::CpltSet::Distinct Namespace Reference
Detailed Description
Propagators for distinctness constraints.
Functions | |
template<class View> | |
void | distinct (Space *home, ViewArray< View > &x) |
Function Documentation
template<class View>
void Gecode::CpltSet::Distinct::distinct | ( | Space * | home, | |
ViewArray< View > & | x | |||
) | [inline] |
Definition at line 53 of file distinct.cc.