| 105 | |
| 106 | template<class Tracer> |
| 107 | forceinline void |
| 108 | Probe<Tracer>::reset(Space* s, unsigned int d0) { |
| 109 | tracer.round(); |
| 110 | delete cur; |
| 111 | while (!ds.empty()) |
| 112 | delete ds.pop().space(); |
| 113 | cur = s; d = d0; exhausted = true; |
| 114 | if (tracer) |
| 115 | tracer.ei()->invalidate(); |
| 116 | Worker::reset(0); |
| 117 | } |
| 118 | |
| 119 | template<class Tracer> |
| 120 | forceinline Statistics |