Method post

gecode/kernel/trace/tracer.cpp:58–62

  }

  void
  StdTracer::post(const Space&,
                  const PostTraceInfo& pti) {
    os << "trace::" << pti << std::endl;
  }

  StdTracer StdTracer::def;