| 261 | } |
| 262 | template<class View> |
| 263 | forceinline void |
| 264 | ViewTracer<View>::_prune(const Space& home, |
| 265 | const ViewTraceRecorder<View>& t, |
| 266 | const ViewTraceInfo& vti, |
| 267 | int i, typename TraceTraits<View>::TraceDelta& d) { |
| 268 | Support::Lock l(m); |
| 269 | prune(home,t,vti,i,d); |
| 270 | } |
| 271 | template<class View> |
| 272 | forceinline void |
| 273 | ViewTracer<View>::_fail(const Space& home, |