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

Method setNumericFlag

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

Source from the content-addressed store, hash-verified

20}
21
22void NodeInfoEntry::setNumericFlag(NumFlagLoc loc, int value)
23{
24 uint32_t mask = (1 << loc.len) - 1;
25 uint32_t clearmask = ~(mask << loc.pos);
26 m_bitset &= std::bitset<4>(clearmask);
27 m_bitset |= (value & mask) << loc.pos;
28}
29
30int NodeInfoEntry::getNumericFlag(NumFlagLoc loc) const
31{

Callers 1

setStatusMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected