![]() |
Realm
A distributed, event-based tasking library
|
#include <profiling.h>
Public Attributes | |
| Event | finish_event |
Static Public Attributes | |
| static const ProfilingMeasurementID | ID = PMID_OP_FINISH_EVENT |
| Event Realm::ProfilingMeasurements::OperationFinishEvent::finish_event |
|
static |