[gecode-users] Propagation of distinct with ICL_DOM

[M Dobrogost]

Hello All,

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?

Thanks!
Michal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20070531/42fca8ca/attachment.htm>