| 56 | |
| 57 | template<class View0, class View1> |
| 58 | ExecStatus |
| 59 | NoSubset<View0,View1>::post(Home home, View0 x, View1 y) { |
| 60 | if (same(x,y)) |
| 61 | return ES_FAILED; |
| 62 | if (me_failed(x.cardMin(home,1))) |
| 63 | return ES_FAILED; |
| 64 | (void) new (home) NoSubset<View0,View1>(home,x,y); |
| 65 | return ES_OK; |
| 66 | } |
| 67 | |
| 68 | template<class View0, class View1> |
| 69 | Actor* |