| 65 | |
| 66 | template<class A, class B, class C> |
| 67 | ExecStatus |
| 68 | Min<A,B,C>::post(Home home, A x0, B x1, C x2) { |
| 69 | GECODE_ME_CHECK(x2.eq(home,min(x0.domain(),x1.domain()))); |
| 70 | GECODE_ME_CHECK(x0.gq(home,x2.min())); |
| 71 | GECODE_ME_CHECK(x1.gq(home,x2.min())); |
| 72 | (void) new (home) Min<A,B,C>(home,x0,x1,x2); |
| 73 | return ES_OK; |
| 74 | } |
| 75 | |
| 76 | template<class A, class B, class C> |
| 77 | ExecStatus |