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 _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
