| 288 | template<class View, int n, class Val, unsigned int a, |
| 289 | class Filter, class Print> |
| 290 | ExecStatus |
| 291 | ViewValBrancher<View,n,Val,a,Filter,Print> |
| 292 | ::commit(Space& home, const Choice& c, unsigned int b) { |
| 293 | const PosValChoice<Val>& pvc |
| 294 | = static_cast<const PosValChoice<Val>&>(c); |
| 295 | return me_failed(vsc->commit(home,b, |
| 296 | ViewBrancher<View,Filter,n>::view(pvc.pos()), |
| 297 | pvc.pos().pos, |
| 298 | pvc.val())) |
| 299 | ? ES_FAILED : ES_OK; |
| 300 | } |
| 301 | |
| 302 | template<class View, int n, class Val, unsigned int a, |
| 303 | class Filter, class Print> |