| 164 | |
| 165 | template<class V0, class V1, class Idx, class Val> |
| 166 | forceinline size_t |
| 167 | Int<V0,V1,Idx,Val>::dispose(Space& home) { |
| 168 | home.ignore(*this,AP_DISPOSE); |
| 169 | x0.cancel(home,*this,PC_INT_DOM); |
| 170 | x1.cancel(home,*this,PC_INT_DOM); |
| 171 | c.~IntSharedArray(); |
| 172 | (void) Propagator::dispose(home); |
| 173 | return sizeof(*this); |
| 174 | } |
| 175 | |
| 176 | template<class V0, class V1, class Idx, class Val> |
| 177 | ExecStatus |