| 52 | } |
| 53 | |
| 54 | ExecStatus |
| 55 | Seq::propagate(Space& home, const ModEventDelta&) { |
| 56 | bool modified = false; |
| 57 | bool assigned; |
| 58 | do { |
| 59 | assigned = false; modified = false; |
| 60 | GECODE_ES_CHECK(propagateSeq(home, modified, assigned, x)); |
| 61 | } while (assigned || modified); |
| 62 | |
| 63 | for (int i=x.size(); i--;) |
| 64 | if (!x[i].assigned()) |
| 65 | return ES_FIX; |
| 66 | |
| 67 | return home.ES_SUBSUMED(*this); |
| 68 | } |
| 69 | |
| 70 | }}} |
| 71 |
nothing calls this directly
no test coverage detected