#include <partitions.h>
◆ defer()
◆ event_triggered()
| virtual void Realm::PartitioningOperation::DeferredLaunch::event_triggered |
( |
bool |
poisoned, |
|
|
TimeLimit |
work_until |
|
) |
| |
|
virtual |
◆ get_finish_event()
| virtual Event Realm::PartitioningOperation::DeferredLaunch::get_finish_event |
( |
void |
| ) |
const |
|
virtual |
◆ print()
| virtual void Realm::PartitioningOperation::DeferredLaunch::print |
( |
std::ostream & |
os | ) |
const |
|
virtual |
◆ op
The documentation for this class was generated from the following file:
- /home/runner/work/realm/realm/realm-src/src/realm/deppart/partitions.h