| 195 | |
| 196 | template<class View> |
| 197 | forceinline size_t |
| 198 | Weights<View>::dispose(Space& home) { |
| 199 | home.ignore(*this,AP_DISPOSE); |
| 200 | x.cancel(home,*this, PC_SET_ANY); |
| 201 | y.cancel(home,*this, Gecode::Int::PC_INT_BND); |
| 202 | elements.~SharedArray(); |
| 203 | weights.~SharedArray(); |
| 204 | (void) Propagator::dispose(home); |
| 205 | return sizeof(*this); |
| 206 | } |
| 207 | |
| 208 | template<class View> |
| 209 | Actor* |