| 49 | } |
| 50 | |
| 51 | void |
| 52 | StdSetTracer::prune(const Space&, const SetTraceRecorder& t, |
| 53 | const ViewTraceInfo& vti, int i, SetTraceDelta& d) { |
| 54 | os << "trace<Set>::prune(id:" << t.id(); |
| 55 | if (t.group().in()) |
| 56 | os << ",g:" << t.group().id(); |
| 57 | os << "): [" << i << "] = " << t[i] << " + {"; |
| 58 | { |
| 59 | SetTraceDelta::Glb glb(d.glb()); |
| 60 | if (glb()) { |
| 61 | os << glb.min() << ".." << glb.max(); |
| 62 | ++glb; |
| 63 | while (glb()) { |
| 64 | os << "," << glb.min() << ".." << glb.max(); |
| 65 | ++glb; |
| 66 | } |
| 67 | } |
| 68 | } |
| 69 | os << "} - {"; |
| 70 | { |
| 71 | SetTraceDelta::Lub lub(d.lub()); |
| 72 | if (lub()) { |
| 73 | os << lub.min() << ".." << lub.max(); |
| 74 | ++lub; |
| 75 | while (lub()) { |
| 76 | os << "," << lub.min() << ".." << lub.max(); |
| 77 | ++lub; |
| 78 | } |
| 79 | } |
| 80 | } |
| 81 | os << "} by " << vti << std::endl; |
| 82 | } |
| 83 | |
| 84 | void |
| 85 | StdSetTracer::fix(const Space&, const SetTraceRecorder& t) { |