DiaDes
0.1
DIAgnosis of Discrete-Event System
|
This is the complete list of members for Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >, including all inherited members.
_numberOfSynchronisationEventsToEncode | Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent > | private |
Event typedef | Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent > | |
newEvent(const SyncEvent &synchronisedEvent)=0 | Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent > | pure virtual |
SyncEvent typedef | Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent > | |
SynchronisationEventEncoder(size_t numberOfSynchronisationEventsToEncode) | Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent > | inline |