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

Method node_thread_id

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

Source from the content-addressed store, hash-verified

102 int node_id() const { return node_.nid; }
103 int parent_id() const { return parent_.nid; }
104 int node_thread_id() const { return node_.tid; }
105 int node_restart_id() const { return node_.rid; }
106 int parent_thread_id() const { return parent_.tid; }
107 int parent_restart_id() const { return parent_.rid; }

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected