| 60 | |
| 61 | template<class VA, class VB, class VC> |
| 62 | ExecStatus |
| 63 | DivPlusBnd<VA,VB,VC>::propagate(Space& home, const ModEventDelta&) { |
| 64 | assert(pos(x0) && pos(x1) && !neg(x2)); |
| 65 | bool mod; |
| 66 | do { |
| 67 | mod = false; |
| 68 | GECODE_ME_CHECK_MODIFIED(mod,x2.lq(home, |
| 69 | floor_div_pp(x0.max(),x1.min()))); |
| 70 | GECODE_ME_CHECK_MODIFIED(mod,x2.gq(home, |
| 71 | floor_div_px(x0.min(),x1.max()))); |
| 72 | GECODE_ME_CHECK_MODIFIED(mod,x0.le(home,mll(x1.max(),ill(x2.max())))); |
| 73 | GECODE_ME_CHECK_MODIFIED(mod,x0.gq(home,mll(x1.min(),x2.min()))); |
| 74 | if (x2.min() > 0) { |
| 75 | GECODE_ME_CHECK_MODIFIED(mod, |
| 76 | x1.lq(home,floor_div_pp(x0.max(),x2.min()))); |
| 77 | } |
| 78 | GECODE_ME_CHECK_MODIFIED(mod,x1.gq(home,ceil_div_pp(ll(x0.min()), |
| 79 | ill(x2.max())))); |
| 80 | } while (mod); |
| 81 | return x0.assigned() && x1.assigned() ? |
| 82 | home.ES_SUBSUMED(*this) : ES_FIX; |
| 83 | } |
| 84 | |
| 85 | template<class VA, class VB, class VC> |
| 86 | forceinline ExecStatus |
nothing calls this directly
no test coverage detected