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

Method getFlag

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

Source from the content-addressed store, hash-verified

15}
16
17bool NodeInfoEntry::getFlag(NodeFlag flag) const
18{
19 return m_bitset[static_cast<int>(flag)];
20}
21
22void NodeInfoEntry::setNumericFlag(NumFlagLoc loc, int value)
23{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected