| 129 | } |
| 130 | template<class View> |
| 131 | forceinline ModEvent |
| 132 | ValCommitFunction<View>::commit(Space& home, unsigned int a, View x, int i, |
| 133 | Val n) { |
| 134 | typename View::VarType y(x.varimp()); |
| 135 | GECODE_VALID_FUNCTION(c()); |
| 136 | c()(home,a,y,i,n); |
| 137 | return home.failed() ? ES_FAILED : ES_OK; |
| 138 | } |
| 139 | template<class View> |
| 140 | forceinline NGL* |
| 141 | ValCommitFunction<View>::ngl(Space&, unsigned int, View, Val) const { |
no test coverage detected