| 59 | |
| 60 | template<class ManTask, class PL> |
| 61 | ExecStatus |
| 62 | ManProp<ManTask,PL>::propagate(Space& home, const ModEventDelta&) { |
| 63 | GECODE_ES_CHECK(overload(t)); |
| 64 | |
| 65 | if (PL::basic) |
| 66 | GECODE_ES_CHECK(timetabling(home,*this,t)); |
| 67 | |
| 68 | if (PL::advanced) { |
| 69 | GECODE_ES_CHECK(detectable(home,t)); |
| 70 | GECODE_ES_CHECK(notfirstnotlast(home,t)); |
| 71 | GECODE_ES_CHECK(edgefinding(home,t)); |
| 72 | } |
| 73 | |
| 74 | if (!PL::basic) |
| 75 | GECODE_ES_CHECK(subsumed(home,*this,t)); |
| 76 | |
| 77 | return ES_NOFIX; |
| 78 | } |
| 79 | |
| 80 | }}} |
| 81 |
nothing calls this directly
no test coverage detected