Generated on Wed Mar 19 07:30:08 2008 for Gecode by doxygen 1.5.5

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.