[gecode-users] Propagation of distinct with ICL_DOM

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of M Dobrogost
Sent: Thursday, May 31, 2007 10:04 PM
To: users at gecode.org
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