[gecode-users] DivBnd propagator

[Jan Kelbel]

Hello everyone,

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.

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

Cheers, Jan