| 158 | } |
| 159 | template<class View> |
| 160 | size_t |
| 161 | UnaryWait<View>::dispose(Space& home) { |
| 162 | x.cancel(home,*this,PC_GEN_ASSIGNED); |
| 163 | home.ignore(*this,AP_DISPOSE); |
| 164 | c.~SharedData<std::function<void(Space& home)>>(); |
| 165 | (void) Propagator::dispose(home); |
| 166 | return sizeof(*this); |
| 167 | } |
| 168 | |
| 169 | |
| 170 | /* |