DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Types | Public Member Functions | Private Attributes | List of all members
Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent > Class Template Referenceabstract

#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
 

Detailed Description

template<typename _SyncEvent>
class Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >

Definition at line 735 of file SynchronisationEvent.hh.

Member Typedef Documentation

◆ Event

template<typename _SyncEvent>
using Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >::Event = typename SyncEvent::Event

Definition at line 742 of file SynchronisationEvent.hh.

◆ SyncEvent

template<typename _SyncEvent>
using Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >::SyncEvent = _SyncEvent

Definition at line 741 of file SynchronisationEvent.hh.

Constructor & Destructor Documentation

◆ SynchronisationEventEncoder()

template<typename _SyncEvent>
Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >::SynchronisationEventEncoder ( size_t  numberOfSynchronisationEventsToEncode)
inline

Definition at line 744 of file SynchronisationEvent.hh.

Member Function Documentation

◆ newEvent()

template<typename _SyncEvent>
virtual Event Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >::newEvent ( const SyncEvent synchronisedEvent)
pure virtual

Member Data Documentation

◆ _numberOfSynchronisationEventsToEncode

template<typename _SyncEvent>
size_t Diades::Automata::Experimental::SynchronisationEventEncoder< _SyncEvent >::_numberOfSynchronisationEventsToEncode
private

Definition at line 738 of file SynchronisationEvent.hh.


The documentation for this class was generated from the following file: