Method done

gecode/set/trace/tracer.cpp:120–126

  }

  void
  StdSetTracer::done(const Space&, const SetTraceRecorder& t) {
    os << "trace<Set>::done(id:" << t.id();
    if (t.group().in())
      os << ",g:" << t.group().id();
    os << ") slack: 0%" << std::endl;
  }

  StdSetTracer StdSetTracer::def;