Method Dead

gecode/search/seq/dead.cpp:60–64 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

58
59	template<class Tracer>
60	Dead<Tracer>::Dead(const Options& o, const Statistics& stat0)
61	: tracer(o.tracer), stat(stat0) {
62	tracer.engine(SearchTracer::EngineType::AOE, 1U);
63	tracer.worker();
64	}
65
66	template<class Tracer>
67	Space*

nothing calls this directly

engineMethod · 0.45

workerMethod · 0.45

no test coverage detected