DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <SynchronisationRules.hh>
Public Member Functions | |
TwinPlantSynchronisation (const ComponentVector &components, const set< Event > &synchronisedEvents) | |
![]() | |
SynchronisationRules (const ComponentVector &components) | |
SynchronisationRules () | |
void | setComponentVector (const ComponentVector &components) |
SynchronisationIterator | beginOfSynchronisedEvents () const |
SynchronisationIterator | endOfSynchronisedEvents () const |
size_type | numberOfComponents () const |
size_type | size () const |
ComponentIterator | beginOfComponents () const |
ComponentIterator | endOfComponents () const |
const Component & | getComponent (size_type index) const |
ComponentIterator | findComponent (const string &name) const |
ComponentIterator | findComponent (const Component &component) const |
bool | operator== (const SynchronisationRules &rules) const |
void | getSynchronisationEvents (const Component &component, Event event, list< SynchronisationEvent::ConstPointer > &events) const |
bool | valid () const |
Additional Inherited Members | |
![]() | |
typedef Diades::Utils::Exception< SynchronisationRules > | Exception |
typedef vector< const Component * > | ComponentVector |
typedef ComponentVector::size_type | size_type |
typedef list< SynchronisationEvent >::const_iterator | SynchronisationIterator |
typedef _ComponentIterator | ComponentIterator |
![]() | |
static string | typeName () |
![]() | |
ComponentVector | _components |
list< SynchronisationEvent > | _synchros |
The TwinPlantSynchronisation is used when two or more components (usually some clones but not necessarly) contains some identical events and that identical events are used for synchronisation, the rest of them being non synchronised.
Definition at line 495 of file SynchronisationRules.hh.
Diades::Automata::TwinPlantSynchronisation::TwinPlantSynchronisation | ( | const ComponentVector & | components, |
const set< Event > & | synchronisedEvents | ||
) |
components | the set of components |
synchronisedEvents | the set of events to synchronise |