To quote the docs:
Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and
domain-consistency (icl = ICL_DOM).
So, it is domain consistent aka generalized arc consistent.
Christian
--
Christian Schulte, http://www.imit.kth.se/~schulte/
-----Original Message-----
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of M Dobrogost
Sent: Thursday, May 31, 2007 10:04 PM
To: [EMAIL PROTECTED]
Subject: [gecode-users] Propagation of distinct with ICL_DOM
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
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
