Gecode::CpltSet::Distinct Namespace Reference

Detailed Description

Propagators for distinctness constraints.

Functions

template<class View>

void distinct (Space *home, ViewArray< View > &x)

template<class View>

void Gecode::CpltSet::Distinct::distinct	(	Space *	home,
		ViewArray< View > &	x
	)			`[inline]`

Definition at line 53 of file distinct.cc.


Functions
template<class View>
void	distinct (Space *home, ViewArray< View > &x)