MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / getChild

Method getChild

cp-profiler/src/cpprofiler/tree/node_tree.cpp:215–218  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

213}
214
215NodeID NodeTree::getChild(NodeID nid, int alt) const
216{
217 return structure_->getChild(nid, alt);
218}
219
220const NodeStats &NodeTree::node_stats() const
221{

Callers 2

createRootMethod · 0.45
promoteNodeMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected