| 149 | |
| 150 | template<class Ops> |
| 151 | forceinline ExecStatus |
| 152 | prop_nroot_bnd(Space& home, IntView x0, IntView x1, const Ops& ops) { |
| 153 | assert((x0.min() < 0) && (x0.max() > 0)); |
| 154 | assert((x1.min() < 0) && (x1.max() > 0)); |
| 155 | |
| 156 | GECODE_ME_CHECK(x1.lq(home,ops.fnroot(x0.max()))); |
| 157 | GECODE_ME_CHECK(x1.gq(home,-ops.cnroot(-x0.min()))); |
| 158 | GECODE_ME_CHECK(x0.le(home,ops.tpow(x1.max()+1))); |
| 159 | GECODE_ME_CHECK(x0.gq(home,ops.tpow(x1.min()-1)+1)); |
| 160 | |
| 161 | return ES_OK; |
| 162 | } |
| 163 | |
| 164 | template<class Ops> |
| 165 | forceinline |