| 313 | template<class View, int n, class Val, unsigned int a, |
| 314 | class Filter, class Print> |
| 315 | void |
| 316 | ViewValBrancher<View,n,Val,a,Filter,Print> |
| 317 | ::print(const Space& home, const Choice& c, unsigned int b, |
| 318 | std::ostream& o) const { |
| 319 | const PosValChoice<Val>& pvc |
| 320 | = static_cast<const PosValChoice<Val>&>(c); |
| 321 | View xi = ViewBrancher<View,Filter,n>::view(pvc.pos()); |
| 322 | if (p) |
| 323 | p(home,*this,b,xi,pvc.pos().pos,pvc.val(),o); |
| 324 | else |
| 325 | vsc->print(home,b,xi,pvc.pos().pos,pvc.val(),o); |
| 326 | } |
| 327 | |
| 328 | template<class View, int n, class Val, unsigned int a, |
| 329 | class Filter, class Print> |