| 35 | |
| 36 | template<class Task> |
| 37 | ExecStatus |
| 38 | subsumed(Space& home, Propagator& p, TaskArray<Task>& t) { |
| 39 | TaskViewArray<typename TaskTraits<Task>::TaskViewFwd> f(t); |
| 40 | sort<typename TaskTraits<Task>::TaskViewFwd,STO_EST,true>(f); |
| 41 | |
| 42 | for (int i=1; i<f.size(); i++) |
| 43 | if (f[i-1].lct() > f[i].est()) |
| 44 | return ES_OK; |
| 45 | |
| 46 | return home.ES_SUBSUMED(p); |
| 47 | } |
| 48 | |
| 49 | }}} |
| 50 |