Hi,
Thank you for the patch and the always rapid reaction.
Jean-Noël
On 04/16/2012 07:49 PM, Christian Schulte wrote:
Hi,
This was indeed a bug, introduced when we added a domain consistent variant
of max. I fixed it in the trunk and also attached a patch.
Thanks!
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
-----Original Message-----
From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On
Behalf Of Jean-Noël Monette
Sent: Monday, April 16, 2012 11:00 AM
To: users@gecode.org
Subject: [gecode-users] Max not bound consistent?
Hello,
The "bound consistency" max constraint does not seem to enforce bound
consistency. Indeed, with x = {1, 1, [1..2]}, and y = 2, the constraint
"max(home,
x,y,ICL_BND)" should enforce x[2] = 2, but does not modify the domains
(after a
call to status()). Is it the expected behavior (because of the cost to
check this
case or any other reason), or a bug?
Thank you for your answer,
Jean-Noël Monette
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
