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

Method getNumericFlag

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

Source from the content-addressed store, hash-verified

28}
29
30int NodeInfoEntry::getNumericFlag(NumFlagLoc loc) const
31{
32 uint32_t mask = (1 << loc.len) - 1;
33 return ((m_bitset >> loc.pos) & std::bitset<4>(mask)).to_ulong();
34}
35
36} // namespace tree
37} // namespace cpprofiler

Callers 1

getStatusMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected