Function dead

gecode/search/seq/dead.cpp:89–95

  }

  Engine*
  dead(const Options& o, const Statistics& stat) {
    if (o.tracer)
      return new Dead<TraceRecorder>(o,stat);
    else
      return new Dead<NoTraceRecorder>(o,stat);
  }


}}}