| 57 | |
| 58 | template<class SView, class RView> |
| 59 | forceinline ExecStatus |
| 60 | ElementDisjoint<SView,RView>::post(Home home, IdxViewArray& xs, |
| 61 | RView x1) { |
| 62 | int n = xs.size(); |
| 63 | |
| 64 | // s2 \subseteq {0,...,n-1} |
| 65 | Iter::Ranges::Singleton s(0, n-1); |
| 66 | GECODE_ME_CHECK(x1.intersectI(home,s)); |
| 67 | (void) new (home) |
| 68 | ElementDisjoint(home,xs,x1); |
| 69 | return ES_OK; |
| 70 | } |
| 71 | |
| 72 | template<class SView, class RView> |
| 73 | PropCost |
nothing calls this directly
no test coverage detected