[gecode-users] Possible bug in reified constraint on FloatVar

[Vincent Barichard]

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 <chuongdk at 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 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130318/590e7577/attachment.html>