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

Method set_nodeUID

cp-profiler/src/cpp-integration/message.hpp:66–66  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

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; }
69 void set_parentUID(const NodeUID& p) { _parent = p; }

Callers 2

MessageMarshallingClass · 0.80
deserializeMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected