Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ enginestopped
Method
enginestopped
gecode/search/seq/rbs.hpp:53–56 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
51
}
52
53
forceinline bool
54
RestartStop::enginestopped(void) const {
55
return e_stopped;
56
}
57
58
forceinline Statistics
59
RestartStop::metastatistics(void) const {
Callers
1
next
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected