Method commit

gecode/kernel/trace/tracer.cpp:49–56

  }

  void
  StdTracer::commit(const Space& home,
                    const CommitTraceInfo& cti) {
    os << "trace::" << cti << std::endl
       << '\t';
    cti.brancher().print(home, cti.choice(), cti.alternative(), os);
    os << std::endl;
  }

  void
  StdTracer::post(const Space&,