| 49 | } |
| 50 | |
| 51 | void |
| 52 | StdIntTracer::prune(const Space&, const IntTraceRecorder& t, |
| 53 | const ViewTraceInfo& vti, int i, IntTraceDelta& d) { |
| 54 | os << "trace<Int>::prune(id:" << t.id(); |
| 55 | if (t.group().in()) |
| 56 | os << ",g:" << t.group().id(); |
| 57 | os << "): [" << i << "] = " << t[i] << " - {"; |
| 58 | os << d.min(); |
| 59 | if (d.width() > 1) |
| 60 | os << ".." << d.max(); |
| 61 | ++d; |
| 62 | while (d()) { |
| 63 | os << ',' << d.min(); |
| 64 | if (d.width() > 1) |
| 65 | os << ".." << d.max(); |
| 66 | ++d; |
| 67 | } |
| 68 | os << "} by " << vti << std::endl; |
| 69 | } |
| 70 | |
| 71 | void |
| 72 | StdIntTracer::fix(const Space&, const IntTraceRecorder& t) { |