| 322 | |
| 323 | template<class View0, class View1, bool strict> |
| 324 | ExecStatus |
| 325 | Lq<View0,View1,strict>::post(Home home, View0 x, View1 y) { |
| 326 | if (strict) |
| 327 | GECODE_ME_CHECK(y.cardMin(home,1)); |
| 328 | if (same(x,y)) |
| 329 | return strict ? ES_FAILED : ES_OK; |
| 330 | (void) new (home) Lq(home,x,y); |
| 331 | return ES_OK; |
| 332 | } |
| 333 | |
| 334 | template<class View0, class View1, bool strict> |
| 335 | Actor* |