Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ getAlternative
Method
getAlternative
cp-profiler/src/cpprofiler/tree/node_tree.cpp:250–253 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
248
}
249
250
int NodeTree::getAlternative(NodeID nid) const
251
{
252
return structure_->getAlternative(nid);
253
}
254
255
int NodeTree::childrenCount(NodeID nid) const
256
{
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected