[gecode-users] Max not bound consistent?

[Christian Schulte]

Sorry, ignore my previous message. This indeed looks fishy and should
propagate x[2]=2. I'll have a look later.

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