Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ update
Method
update
gecode/search/seq/rbs.hpp:48–51 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
46
}
47
48
forceinline void
49
RestartStop::update(const Search::Statistics& s) {
50
m_stat += s;
51
}
52
53
forceinline bool
54
RestartStop::enginestopped(void) const {
Callers
1
next
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected