| 61 | |
| 62 | template<class View, class Offset> |
| 63 | ExecStatus |
| 64 | Val<View,Offset>::propagate(Space& home, const ModEventDelta&) { |
| 65 | GECODE_ES_CHECK((Int::Distinct::prop_val<View,true>(home,y))); |
| 66 | ExecStatus esc = connected(home); |
| 67 | if (esc != ES_FIX) |
| 68 | return esc; |
| 69 | /* |
| 70 | * One cannot have a single unassigned view as the views constitute |
| 71 | * a permutation. |
| 72 | */ |
| 73 | if (y.size() < 2) |
| 74 | return home.ES_SUBSUMED(*this); |
| 75 | return path(home); |
| 76 | } |
| 77 | |
| 78 | template<class View, class Offset> |
| 79 | ExecStatus |
nothing calls this directly
no test coverage detected