Element of the registry for an event. More...
#include <EventRegistry.h>
Public Attributes | |
std::vector< FileID_t > | sourceFiles |
List of ID of source files. More... | |
Element of the registry for an event.
Definition at line 86 of file EventRegistry.h.
std::vector<FileID_t> sbn::EventRegistry::EventRecord_t::sourceFiles |
List of ID of source files.
Definition at line 88 of file EventRegistry.h.