| 339 | |
| 340 | template<class View> |
| 341 | ExecStatus |
| 342 | ViewTraceRecorder<View>::advise(Space& home, Advisor& _a, const Delta& d) { |
| 343 | Idx& a = static_cast<Idx&>(_a); |
| 344 | int i = a.idx(); |
| 345 | if (((te & TE_PRUNE) != 0) && !disabled() && tf(a(home)) ) { |
| 346 | TraceDelta td(o[i],n[i],d); |
| 347 | t._prune(home,*this,a(home),i,td); |
| 348 | } |
| 349 | o[i].prune(home,n[i],d); |
| 350 | if (n[a.idx()].assigned()) |
| 351 | a.dispose(home,c); |
| 352 | return ES_NOFIX; |
| 353 | } |
| 354 | |
| 355 | template<class View> |
| 356 | ExecStatus |