| 217 | */ |
| 218 | |
| 219 | TraceRecorder* |
| 220 | Space::findtracerecorder(void) { |
| 221 | for (Actor** a=d_fst; a<d_cur; a++) { |
| 222 | Propagator* p = Propagator::cast(*a); |
| 223 | if (!p->disabled()) |
| 224 | if (TraceRecorder* tr = dynamic_cast<TraceRecorder*>(p)) { |
| 225 | std::swap(*d_fst,*a); |
| 226 | return tr; |
| 227 | } |
| 228 | } |
| 229 | return nullptr; |
| 230 | } |
| 231 | |
| 232 | void |
| 233 | Space::post(const PostInfo& pi) { |