MCPcopy Create free account
hub / github.com/Gecode/gecode / ~Dead

Method ~Dead

gecode/search/seq/dead.cpp:85–87  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

83
84 template<class Tracer>
85 Dead<Tracer>::~Dead(void) {
86 tracer.done();
87 }
88
89 Engine*
90 dead(const Options& o, const Statistics& stat) {

Callers

nothing calls this directly

Calls 1

doneMethod · 0.45

Tested by

no test coverage detected