Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ status
Method
status
gecode/gist/stopbrancher.cpp:49–52 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
47
: Brancher(home,b), done(b.done) {}
48
49
bool
50
StopBrancher::status(const Space&) const {
51
return !done;
52
}
53
54
Choice*
55
StopBrancher::choice(Space&) {
Callers
6
TreeCanvas
Method · 0.45
inspectCurrentNode
Method · 0.45
mousePressEvent
Method · 0.45
recompute
Method · 0.45
acquireSpace
Method · 0.45
getNumberOfChildNodes
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected