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