| 150 | |
| 151 | template<class View> |
| 152 | forceinline void |
| 153 | IdxViewArray<View>::update(Space& home, IdxViewArray<View>& a) { |
| 154 | n = a.size(); |
| 155 | if (n>0) { |
| 156 | xs = IdxView<View>::allocate(home,n); |
| 157 | for (int i=0; i<n; i++) { |
| 158 | xs[i].idx = a[i].idx; |
| 159 | xs[i].view.update(home,a[i].view); |
| 160 | } |
| 161 | } |
| 162 | } |
| 163 | |
| 164 | |
| 165 | template<class Char, class Traits, class View> |