MCPcopy 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

serializeMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected