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

[Duong Khanh Chuong]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20130317/fd096852/attachment.html>