Gecode::CPProfiler::NodeUID Struct Reference
Unique identifier for a node. More...
#include <message.hpp>
Public Attributes | |
int32_t | nid |
Node number. | |
int32_t | rid |
Restart id. | |
int32_t | tid |
Thread id. |
Detailed Description
Unique identifier for a node.
Definition at line 114 of file message.hpp.
Member Data Documentation
int32_t Gecode::CPProfiler::NodeUID::nid |
Node number.
Definition at line 116 of file message.hpp.
int32_t Gecode::CPProfiler::NodeUID::rid |
Restart id.
Definition at line 118 of file message.hpp.
int32_t Gecode::CPProfiler::NodeUID::tid |
Thread id.
Definition at line 120 of file message.hpp.
The documentation for this struct was generated from the following file:
- gecode/search/cpprofiler/message.hpp