| 86 | |
| 87 | template<class View, class View0, class View1> |
| 88 | ExecStatus |
| 89 | ElementUnion<View,View0,View1>:: |
| 90 | post(Home home, IdxViewArray& xs, View0 x0, View1 x1) { |
| 91 | int n = xs.size(); |
| 92 | |
| 93 | // x0 \subseteq {1,...,n} |
| 94 | Iter::Ranges::Singleton s(0, n-1); |
| 95 | GECODE_ME_CHECK(x0.intersectI(home,s)); |
| 96 | (void) new (home) |
| 97 | ElementUnion<View,View0,View1>(home,xs,x0,x1); |
| 98 | return ES_OK; |
| 99 | } |
| 100 | |
| 101 | template<class View, class View0, class View1> |
| 102 | Actor* |
nothing calls this directly
no test coverage detected