| 87 | |
| 88 | template<class Val, class P, class N, PropCond pc> |
| 89 | forceinline size_t |
| 90 | Lin<Val,P,N,pc>::dispose(Space& home) { |
| 91 | x.cancel(home,*this,pc); |
| 92 | y.cancel(home,*this,pc); |
| 93 | (void) Propagator::dispose(home); |
| 94 | return sizeof(*this); |
| 95 | } |
| 96 | |
| 97 | /* |
| 98 | * Reified linear propagators |