| 336 | |
| 337 | template<class View, PropCond pc> |
| 338 | forceinline size_t |
| 339 | UnaryPropagator<View,pc>::dispose(Space& home) { |
| 340 | if (pc != PC_GEN_NONE) |
| 341 | x0.cancel(home,*this,pc); |
| 342 | (void) Propagator::dispose(home); |
| 343 | return sizeof(*this); |
| 344 | } |
| 345 | |
| 346 | |
| 347 | /* |