Diades::Automata::Experimental::DefaultDdAutSynchronisationEventEncoder< DdAutFsmType > Class Template Reference

#include <DdAutFile.hh>

Public Types
using	SEE = SynchronisationEventEncoder< SynchronisationEvent< DdAutFsmType > >
Public Types inherited from Diades::Automata::Experimental::SynchronisationEventEncoder< SynchronisationEvent< DdAutFsmType > >
using	SyncEvent = SynchronisationEvent< DdAutFsmType >
using	Event = typename SyncEvent::Event

Public Member Functions
	DefaultDdAutSynchronisationEventEncoder (size_t numberOfSynchronisationEventsToEncode)
virtual SEE::Event	newEvent (const typename SEE::SyncEvent &synchronisedEvent)
Public Member Functions inherited from Diades::Automata::Experimental::SynchronisationEventEncoder< SynchronisationEvent< DdAutFsmType > >
	SynchronisationEventEncoder (size_t numberOfSynchronisationEventsToEncode)
virtual Event	newEvent (const SyncEvent &synchronisedEvent)=0

Private Attributes
SEE::Event	_newEvent

Detailed Description

template<typename DdAutFsmType>
class Diades::Automata::Experimental::DefaultDdAutSynchronisationEventEncoder< DdAutFsmType >

This is the default synchronisation event encoder for a DdAut fsm. It starts encoding from 0. Any request for encoding a synchronisedEvent leads to simply increment the encoding

Definition at line 386 of file DdAutFile.hh.

Member Typedef Documentation

SEE

template<typename DdAutFsmType >

using Diades::Automata::Experimental::DefaultDdAutSynchronisationEventEncoder< DdAutFsmType >::SEE = SynchronisationEventEncoder<SynchronisationEvent < DdAutFsmType > >

Definition at line 392 of file DdAutFile.hh.

Constructor & Destructor Documentation

DefaultDdAutSynchronisationEventEncoder()

template<typename DdAutFsmType >

Diades::Automata::Experimental::DefaultDdAutSynchronisationEventEncoder< DdAutFsmType >::DefaultDdAutSynchronisationEventEncoder ( size_t  numberOfSynchronisationEventsToEncode )

inline

Constructor

Parameters

numberOfSynchronisationEventsToEncode

number of synchronisation events to encode with th Synchronisation Event Encoder.

Definition at line 405 of file DdAutFile.hh.

Member Function Documentation

newEvent()

template<typename DdAutFsmType >

virtual SEE::Event Diades::Automata::Experimental::DefaultDdAutSynchronisationEventEncoder< DdAutFsmType >::newEvent ( const typename SEE::SyncEvent &  synchronisedEvent )

inlinevirtual

Parameters

synchronisedEvent

a synchronisation event to encode

Returns

a new code (incremental code starting from 0)

Definition at line 415 of file DdAutFile.hh.

Member Data Documentation

_newEvent

template<typename DdAutFsmType >

SEE::Event Diades::Automata::Experimental::DefaultDdAutSynchronisationEventEncoder< DdAutFsmType >::_newEvent

private

Definition at line 395 of file DdAutFile.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/DdAutFile.hh