Deer Duong Khanh, You are right, the propagation was not tight enough on these reification cases. The fix has been applied in the svn.
Best regards, Vincent 2013/3/17 Duong Khanh Chuong <chuon...@gmail.com> > Hi, > I'm trying to use FloatVar and found this bug: > > FloatVar f(*this, 0, 10); > BoolVar test(*this, 0, 1); > > rel(*this, f, FRT_GQ, 5, test); > rel(*this, test, IRT_EQ, 1); > > With this reified constraint, the domain of f should be [5, 10] but it is > always [0, 10] > > If I change FRT_GQ to FRT_EQ, it works: > > FloatVar f(*this, 0, 10); > BoolVar test(*this, 0, 1); > rel(*this, f, FRT_EQ, 5, test); > rel(*this, test, IRT_EQ, 1); > > Domain of f is [5,5] > > > Best regards, > Duong Khanh Chuong > > _______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users > > -- Vincent Barichard Université d'Angers (LERIA) Tel: 02 41 73 52 06 Département Informatique Fax: 02 41 73 50 73 H203
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
