Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/MiniZinc/MiniZincIDE
/ nodeUID
Method
nodeUID
cp-profiler/src/cpp-integration/message.hpp:65–65 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
63
bool isRestart(void) const { return _type == MsgType::RESTART; }
64
65
NodeUID nodeUID(void) const { return _node; }
66
void set_nodeUID(const NodeUID& n) { _node = n; }
67
68
NodeUID parentUID(void) const { return _parent; }
Callers
1
serialize
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected