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

Method set_parentUID

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

Source from the content-addressed store, hash-verified

67
68 NodeUID parentUID(void) const { return _parent; }
69 void set_parentUID(const NodeUID& p) { _parent = p; }
70
71 int32_t alt(void) const { return _alt; }
72 void set_alt(int32_t alt) { _alt = alt; }

Callers 2

MessageMarshallingClass · 0.80
deserializeMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected