[gecode-users] Max not bound consistent?

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On
> Behalf Of Jean-Noël Monette
> Sent: Monday, April 16, 2012 11:00 AM
> To: users at 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 at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
-------------- next part --------------
A non-text attachment was scrubbed...
Name: max.patch
Type: application/octet-stream
Size: 612 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20120416/dbc7ce51/attachment.obj>