| 265 | |
| 266 | template<class View,class Val,bool iss> |
| 267 | forceinline ExecStatus |
| 268 | ViewValSupport<View,Val,iss>::conclude(Space& home,ViewArray<View>& a, |
| 269 | Val s, int i) { |
| 270 | if ( iss ) { |
| 271 | GECODE_ME_CHECK(exclude(home,a[i],s)); |
| 272 | } else { |
| 273 | GECODE_ME_CHECK(include(home,a[i],s)); |
| 274 | } |
| 275 | |
| 276 | retire(); |
| 277 | |
| 278 | return ES_OK; |
| 279 | } |
| 280 | |
| 281 | template<class View,class Val,bool iss> |
| 282 | forceinline void |