![]() |
Realm
A distributed, event-based tasking library
|
#include <instance.h>
Public Member Functions | |
| DestroyedField (void) | |
| DestroyedField (FieldID fid, unsigned s, CustomSerdezID sid) | |
Public Attributes | |
| FieldID | field_id |
| unsigned | size |
| CustomSerdezID | serdez_id |
| Realm::RegionInstance::DestroyedField::DestroyedField | ( | void | ) |
| Realm::RegionInstance::DestroyedField::DestroyedField | ( | FieldID | fid, |
| unsigned | s, | ||
| CustomSerdezID | sid | ||
| ) |
| FieldID Realm::RegionInstance::DestroyedField::field_id |
| CustomSerdezID Realm::RegionInstance::DestroyedField::serdez_id |
| unsigned Realm::RegionInstance::DestroyedField::size |