[gecode-users] Max not bound consistent?

[Jean-Noël Monette]

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-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