| 136 | } |
| 137 | template<class View> |
| 138 | ExecStatus |
| 139 | UnaryWait<View>::propagate(Space& home, const ModEventDelta&) { |
| 140 | assert(x.assigned()); |
| 141 | GECODE_VALID_FUNCTION(c()); |
| 142 | c()(home); |
| 143 | return home.failed() ? ES_FAILED : home.ES_SUBSUMED(*this); |
| 144 | } |
| 145 | template<class View> |
| 146 | forceinline ExecStatus |
| 147 | UnaryWait<View>::post(Home home, View x, |