Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
30
int 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
getStatus
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected