Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
45
QWork WorkPool::pop() {
46
QWork ret=l.front();
47
l.pop_front();
48
return ret;
49
}
50
51
void WorkPool::trash(vector<int> prefix) {
52
// cout<<
" WPT called on "
;
Callers
5
push
Method · 0.45
next
Method · 0.45
unwind
Method · 0.45
reset
Method · 0.45
getWork
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected