| 40 | : os(os0) {} |
| 41 | |
| 42 | void |
| 43 | StdSetTracer::init(const Space&, const SetTraceRecorder& t) { |
| 44 | os << "trace<Set>::init(id:" << t.id(); |
| 45 | if (t.group().in()) |
| 46 | os << ",g:" << t.group().id(); |
| 47 | os << ") slack: 100.00% (" << t.slack().initial() << " values)" |
| 48 | << std::endl; |
| 49 | } |
| 50 | |
| 51 | void |
| 52 | StdSetTracer::prune(const Space&, const SetTraceRecorder& t, |