[gecode-users] DivBnd propagator

[Guido Tack]

Jan Kelbel wrote:
> I was studying the DivBnd propagator, and in my opinion, there could  
> be
> performed some propagation more tight.
>
> It is in method
> DivBnd<View>::propagate(Space& home, const ModEventDelta&).
> In  section prop_xpx: starting at line 242 of divmod.hpp file (Gecode
> 3.1.0 and also trunk)
> at line 246:
> GECODE_ME_CHECK(x0.gq(home, m<double>(x1.max(),x2.min()-1)));
>
> Is it possible to rewrite this propagation to
> GECODE_ME_CHECK(x0.gq(home, m<double>(x1.max(),x2.min()))); ?
> I am not sure I did not overlooked something.

You're absolutely right.  It also applies to all the other cases where  
x2.min() is used.  It's fixed in the trunk (hope I got it right this  
time).

> A minor remark: in file divmod.hpp at line 173 should be probably
> different comment.

Thanks!

Guido