| 85 | } |
| 86 | template<class ManTask> |
| 87 | forceinline void |
| 88 | ManToOptTask<ManTask>::cancel(Space& home, Propagator& p, PropCond pc) { |
| 89 | _m.cancel(home, p, PC_BOOL_VAL); |
| 90 | ManTask::cancel(home, p, pc); |
| 91 | } |
| 92 | |
| 93 | template<class ManTask> |
| 94 | forceinline void |