| 59 | |
| 60 | template<class ManTask> |
| 61 | ExecStatus |
| 62 | detectable(Space& home, TaskArray<ManTask>& t) { |
| 63 | TaskViewArray<typename TaskTraits<ManTask>::TaskViewFwd> f(t); |
| 64 | GECODE_ES_CHECK(detectable(home,f)); |
| 65 | TaskViewArray<typename TaskTraits<ManTask>::TaskViewBwd> b(t); |
| 66 | return detectable(home,b); |
| 67 | } |
| 68 | |
| 69 | |
| 70 | template<class OptTaskView, class PL> |