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