| 103 | |
| 104 | template<class View> |
| 105 | forceinline size_t |
| 106 | ChannelInt<View>::dispose(Space& home) { |
| 107 | xs.cancel(home,*this, Gecode::Int::PC_INT_DOM); |
| 108 | ys.cancel(home,*this, PC_SET_ANY); |
| 109 | (void) Propagator::dispose(home); |
| 110 | return sizeof(*this); |
| 111 | } |
| 112 | |
| 113 | template<class View> |
| 114 | Actor* |