Function trace

gecode/set/trace.cpp:38–45

namespace Gecode {

  void
  trace(Home home, const SetVarArgs& x,
        TraceFilter tf, int te, SetTracer& t) {
    using namespace Gecode::Set;
    GECODE_POST;
    ViewArray<SetView> xv(home,x);
    GECODE_ES_FAIL(SetTraceRecorder::post(home,xv,tf,te,t));
  }

}