| 53 | |
| 54 | template<class View> |
| 55 | forceinline ExecStatus |
| 56 | Single<View>::updateAlpha(Space& home) { |
| 57 | int n = x.size(); |
| 58 | while (alpha < n) { |
| 59 | if (x[alpha].notContains(s)) { |
| 60 | GECODE_ME_CHECK(x[alpha].exclude(home, t)); |
| 61 | } else if (x[alpha].contains(t)) { |
| 62 | GECODE_ME_CHECK(x[alpha].include(home, s)); |
| 63 | } else { |
| 64 | break; |
| 65 | } |
| 66 | alpha++; |
| 67 | } |
| 68 | return ES_OK; |
| 69 | } |
| 70 | |
| 71 | template<class View> |
| 72 | forceinline ExecStatus |
nothing calls this directly
no test coverage detected