Searched refs:NoTraceRecorder (Results 1 – 5 of 5) sorted by relevance
107 class NoTraceRecorder { class120 NoTraceRecorder(SearchTracer* t);248 NoTraceRecorder::ID::ID(void) {} in ID()259 NoTraceRecorder::NoTraceRecorder(SearchTracer*) {} in NoTraceRecorder() function in Gecode::Search::NoTraceRecorder265 NoTraceRecorder::worker(void) {} in worker()268 NoTraceRecorder::wid(void) const { in wid()273 NoTraceRecorder::nid(void) { in nid()278 NoTraceRecorder::invalidate(void) {} in invalidate()281 NoTraceRecorder::ei(void) { in ei()286 NoTraceRecorder::round(void) {} in round()[all …]
52 return new WorkerToEngine<Seq::DFS<NoTraceRecorder>>(s,to); in dfsengine()57 return new Par::DFS<NoTraceRecorder>(s,to); in dfsengine()63 return new WorkerToEngine<Seq::DFS<NoTraceRecorder>>(s,to); in dfsengine()
52 return new WorkerToEngine<Seq::BAB<NoTraceRecorder>>(s,to); in babengine()57 return new Par::BAB<NoTraceRecorder>(s,to); in babengine()63 return new WorkerToEngine<Seq::BAB<NoTraceRecorder>>(s,to); in babengine()
49 return new Seq::LDS<NoTraceRecorder>(s,o); in ldsengine()
94 return new Dead<NoTraceRecorder>(o,stat); in dead()