| 275 | */ |
| 276 | template<class View> |
| 277 | void |
| 278 | CachedView<View>::initCache(Space& home, |
| 279 | const IntSet& glb, const IntSet& lub) { |
| 280 | glbCache.init(home); |
| 281 | IntSetRanges gr(glb); |
| 282 | glbCache.includeI(home,gr); |
| 283 | lubCache.init(home); |
| 284 | IntSetRanges lr(lub); |
| 285 | lubCache.intersectI(home,lr); |
| 286 | } |
| 287 | |
| 288 | template<class View> |
| 289 | forceinline void |
no test coverage detected