| 94 | |
| 95 | template<class View> |
| 96 | forceinline size_t |
| 97 | ChannelSorted<View>::dispose(Space& home) { |
| 98 | x0.cancel(home,*this, PC_SET_ANY); |
| 99 | xs.cancel(home,*this, Gecode::Int::PC_INT_BND); |
| 100 | (void) Propagator::dispose(home); |
| 101 | return sizeof(*this); |
| 102 | } |
| 103 | |
| 104 | template<class View> |
| 105 | Actor* |