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

Method setStatus

cp-profiler/src/cpprofiler/tree/node_info.cpp:52–58  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

50}
51
52void NodeInfo::setStatus(NodeID nid, NodeStatus status)
53{
54 utils::MutexLocker lock(&m_mutex, "node info");
55 if (static_cast<int>(nid) >= m_flags.size())
56 throw;
57 m_flags[nid].setNumericFlag(STATUS, static_cast<int>(status));
58}
59
60void NodeInfo::addEntry(NodeID nid)
61{

Callers 5

createRootMethod · 0.80
db_createRootMethod · 0.80
db_addChildMethod · 0.80
addExtraChildMethod · 0.80
promoteNodeMethod · 0.80

Calls 2

setNumericFlagMethod · 0.80
sizeMethod · 0.45

Tested by

no test coverage detected