| 84 | |
| 85 | template<class VA, class VB, class VC> |
| 86 | forceinline ExecStatus |
| 87 | DivPlusBnd<VA,VB,VC>::post(Home home, VA x0, VB x1, VC x2) { |
| 88 | GECODE_ME_CHECK(x0.gr(home,0)); |
| 89 | GECODE_ME_CHECK(x1.gr(home,0)); |
| 90 | GECODE_ME_CHECK(x2.gq(home,floor_div_pp(x0.min(),x1.max()))); |
| 91 | (void) new (home) DivPlusBnd<VA,VB,VC>(home,x0,x1,x2); |
| 92 | return ES_OK; |
| 93 | } |
| 94 | |
| 95 | |
| 96 | /* |