| 215 | |
| 216 | template<class View> |
| 217 | forceinline ExecStatus |
| 218 | CBSBrancher<View>::commit(Space& home, const Choice& c, unsigned int a) { |
| 219 | const auto& pvc = static_cast<const PosValChoice<int>&>(c); |
| 220 | int pos = pvc.pos().pos; |
| 221 | int val = pvc.val(); |
| 222 | if (a == 0) |
| 223 | return me_failed(x[pos].eq(home, val)) ? ES_FAILED : ES_OK; |
| 224 | else |
| 225 | return me_failed(x[pos].nq(home, val)) ? ES_FAILED : ES_OK; |
| 226 | } |
| 227 | |
| 228 | template<class View> |
| 229 | forceinline void |