| 70 | |
| 71 | template<class VX, class VY, class VZ> |
| 72 | forceinline size_t |
| 73 | ViewBase<VX,VY,VZ>::dispose(Space& home) { |
| 74 | if (isintset(y)) |
| 75 | home.ignore(*this,AP_DISPOSE); |
| 76 | x.cancel(home,*this,PC_INT_DOM); |
| 77 | cancel(home,*this,y); |
| 78 | z.cancel(home,*this,PC_INT_BND); |
| 79 | (void) Propagator::dispose(home); |
| 80 | return sizeof(*this); |
| 81 | } |
| 82 | |
| 83 | template<class VX, class VY, class VZ> |
| 84 | forceinline void |