[gecode-users] Propagation of distinct with ICL_DOM

[Guido Tack]

Hi.

M Dobrogost wrote:
> I came across previous discussions on the list which explained that  
> with ICL_VAL the distinct propagator blocks until a variable is  
> assigned. Once a variable is assigned it then restricts all other  
> variables from having that value. Could someone explain how  
> powerful the propagation achieved by distinct is with ICL_DOM?

distinct with ICL_DOM achieves domain consistency, i.e. after  
propagation, for each value in each variable's domain, you find  
values in all the other variables domain such that they are all  
distinct.

Cheers,
	Guido