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. | |
Unique identifier for a node.
Definition at line 114 of file message.hpp.
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.