| 302 | template<class View, int n, class Val, unsigned int a, |
| 303 | class Filter, class Print> |
| 304 | NGL* |
| 305 | ViewValBrancher<View,n,Val,a,Filter,Print> |
| 306 | ::ngl(Space& home, const Choice& c, unsigned int b) const { |
| 307 | const PosValChoice<Val>& pvc |
| 308 | = static_cast<const PosValChoice<Val>&>(c); |
| 309 | return vsc->ngl(home,b, |
| 310 | ViewBrancher<View,Filter,n>::view(pvc.pos()),pvc.val()); |
| 311 | } |
| 312 | |
| 313 | template<class View, int n, class Val, unsigned int a, |
| 314 | class Filter, class Print> |