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
max.patch
Description: Binary data
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
