| 128 | |
| 129 | template<class VX, class VY> |
| 130 | forceinline size_t |
| 131 | ClauseTrue<VX,VY>::dispose(Space& home) { |
| 132 | (void) MixBinaryPropagator<VX,PC_BOOL_VAL,VY,PC_BOOL_VAL>::dispose(home); |
| 133 | return sizeof(*this); |
| 134 | } |
| 135 | |
| 136 | template<class VX, class VY> |
| 137 | forceinline ExecStatus |