Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ ~Worker
Method
~Worker
gecode/search/par/engine.hpp:358–362 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
356
*/
357
template<class Tracer>
358
Engine<Tracer>::Worker::~Worker(void) {
359
delete cur;
360
path.reset(0);
361
tracer.done();
362
}
363
364
/*
365
* Destructor
Callers
nothing calls this directly
Calls
2
reset
Method · 0.45
done
Method · 0.45
Tested by
no test coverage detected