![]() |
Realm
A distributed, event-based tasking library
|
#include <operation.h>
Static Public Member Functions | |
| static void | handle_message (NodeID sender, const CancelOperationMessage &msg, const void *data, size_t datalen) |
Public Attributes | |
| Event | finish_event |
|
static |
| Event Realm::CancelOperationMessage::finish_event |