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