| 109 | |
| 110 | template<class Ops, bool minus> |
| 111 | forceinline ExecStatus |
| 112 | NrootPlusBnd<Ops,minus>::post(Home home, IntView x0, IntView x1, Ops ops) { |
| 113 | if (minus) { |
| 114 | GECODE_ME_CHECK(x0.lq(home,0)); |
| 115 | GECODE_ME_CHECK(x1.lq(home,0)); |
| 116 | } else { |
| 117 | GECODE_ME_CHECK(x0.gq(home,0)); |
| 118 | GECODE_ME_CHECK(x1.gq(home,0)); |
| 119 | } |
| 120 | (void) new (home) NrootPlusBnd<Ops,minus>(home,x0,x1,ops); |
| 121 | return ES_OK; |
| 122 | } |
| 123 | |
| 124 | template<class Ops, bool minus> |
| 125 | forceinline |