| 281 | |
| 282 | template<class VA, class VB, class VC> |
| 283 | ExecStatus |
| 284 | ViewBnd<VA,VB,VC>::post(Home home, |
| 285 | IdxViewArray<VA>& iv, VB x0, VC x1) { |
| 286 | GECODE_ME_CHECK(x0.gq(home,0)); |
| 287 | GECODE_ME_CHECK(x0.le(home,iv.size())); |
| 288 | if (x0.assigned()) { |
| 289 | (void) new (home) Rel::EqBnd<VA,VC>(home,iv[x0.val()].view,x1); |
| 290 | return ES_OK; |
| 291 | } else { |
| 292 | assert(iv.size()>1); |
| 293 | (void) new (home) ViewBnd<VA,VB,VC>(home,iv,x0,x1); |
| 294 | } |
| 295 | return ES_OK; |
| 296 | } |
| 297 | |
| 298 | |
| 299 | template<class VA, class VB, class VC> |