| 304 | */ |
| 305 | template<class View> |
| 306 | void |
| 307 | CachedView<View>::initCache(Space& home, const IntSet& s) { |
| 308 | _firstRange = nullptr; |
| 309 | for (int i=s.ranges(); i--;) { |
| 310 | _firstRange = new (home) RangeList(s.min(i),s.max(i),_firstRange); |
| 311 | if (i==s.ranges()-1) |
| 312 | _lastRange = _firstRange; |
| 313 | } |
| 314 | _size = s.size(); |
| 315 | } |
| 316 | |
| 317 | template<class View> |
| 318 | void |