MCPcopy Create free account
hub / github.com/Gecode/gecode / pop

Method pop

contribs/qecode/WorkManager.cc:45–49  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

43}
44
45QWork WorkPool::pop() {
46 QWork ret=l.front();
47 l.pop_front();
48 return ret;
49}
50
51void WorkPool::trash(vector<int> prefix) {
52 // cout<<" WPT called on ";

Callers 5

pushMethod · 0.45
nextMethod · 0.45
unwindMethod · 0.45
resetMethod · 0.45
getWorkMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected