| 260 | template<class View, int n, class Val, unsigned int a, |
| 261 | class Filter, class Print> |
| 262 | Actor* |
| 263 | ViewValBrancher<View,n,Val,a,Filter,Print>::copy(Space& home) { |
| 264 | return new (home) ViewValBrancher<View,n,Val,a,Filter,Print> |
| 265 | (home,*this); |
| 266 | } |
| 267 | |
| 268 | template<class View, int n, class Val, unsigned int a, |
| 269 | class Filter, class Print> |