Function trace

gecode/kernel/trace/general.cpp:38–44

namespace Gecode {

  void
  trace(Home home, TraceFilter tf, int te, Tracer& t) {
    if (static_cast<Space&>(home).findtracerecorder())
      throw MoreThanOneTracer("trace()");
    GECODE_POST;
    GECODE_ES_FAIL(TraceRecorder::post(home,tf,te,t));
  }

}