DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <SynchronisationEvent.hh>
Public Types | |
using | SyncEvent = _SyncEvent |
using | Event = typename SyncEvent::Event |
Public Member Functions | |
SynchronisationEventEncoder (size_t numberOfSynchronisationEventsToEncode) | |
virtual Event | newEvent (const SyncEvent &synchronisedEvent)=0 |
Private Attributes | |
size_t | _numberOfSynchronisationEventsToEncode |
Definition at line 735 of file SynchronisationEvent.hh.
using Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >::Event = typename SyncEvent::Event |
Definition at line 742 of file SynchronisationEvent.hh.
using Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >::SyncEvent = _SyncEvent |
Definition at line 741 of file SynchronisationEvent.hh.
|
inline |
Definition at line 744 of file SynchronisationEvent.hh.
|
pure virtual |
|
private |
Definition at line 738 of file SynchronisationEvent.hh.