| 49 | } |
| 50 | |
| 51 | void |
| 52 | StdFloatTracer::prune(const Space&, const FloatTraceRecorder& t, |
| 53 | const ViewTraceInfo& vti, int i, FloatTraceDelta& d) { |
| 54 | os << "trace<Float>::prune(id:" << t.id(); |
| 55 | if (t.group().in()) |
| 56 | os << ",g:" << t.group().id(); |
| 57 | os << "): [" << i << "] = " << t[i] << " - [" |
| 58 | << d.min() << ".." << d.max() |
| 59 | << "] by " << vti << std::endl; |
| 60 | } |
| 61 | |
| 62 | void |
| 63 | StdFloatTracer::fix(const Space&, const FloatTraceRecorder& t) { |