| 164 | |
| 165 | template<class View, class Val> |
| 166 | ExecStatus |
| 167 | Sequence<View,Val>::propagate(Space& home, const ModEventDelta&) { |
| 168 | if (tofail) |
| 169 | return ES_FAILED; |
| 170 | |
| 171 | GECODE_ES_CHECK(vvsamax.propagate(home,x,s,q,l,u)); |
| 172 | GECODE_ES_CHECK(vvsamin.propagate(home,x,s,q,l,u)); |
| 173 | |
| 174 | for (int i=x.size(); i--; ) |
| 175 | if (undecided(x[i],s)) |
| 176 | return ES_FIX; |
| 177 | |
| 178 | return home.ES_SUBSUMED(*this); |
| 179 | } |
| 180 | |
| 181 | }}} |
| 182 |
no test coverage detected