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
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
