| 233 | |
| 234 | template<class View,class Val, bool iss> |
| 235 | forceinline ExecStatus |
| 236 | ViewValSupport<View,Val,iss>::schedule_conclusion(ViewArray<View>& a, Val s, |
| 237 | int i) { |
| 238 | if (!retired()) { |
| 239 | if ((iss && includes(a[i],s)) || (!iss && excludes(a[i],s))) |
| 240 | return ES_FAILED; |
| 241 | y[0] = 1; |
| 242 | potential_violation(0); |
| 243 | } |
| 244 | |
| 245 | return ES_OK; |
| 246 | } |
| 247 | |
| 248 | template<class View,class Val, bool iss> |
| 249 | forceinline bool |