#include <SynchronisationRules.hh>
Public Member Functions | |
| TwinPlantSynchronisation (const ComponentVector &components, const set< Event > &synchronisedEvents) | |
 Public Member Functions inherited from Diades::Automata::SynchronisationRules | |
| 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 | |
| Public Types inherited from Diades::Automata::SynchronisationRules | |
| 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 Public Member Functions inherited from Diades::Automata::SynchronisationRules | |
| static string | typeName () |
| Protected Attributes inherited from Diades::Automata::SynchronisationRules | |
| ComponentVector | _components |
| list< SynchronisationEvent > | _synchros |
Detailed Description
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.
Constructor & Destructor Documentation
◆ TwinPlantSynchronisation()
| Diades::Automata::TwinPlantSynchronisation::TwinPlantSynchronisation | ( | const ComponentVector & | components, |
| const set< Event > & | synchronisedEvents | ||
| ) |
- Parameters
-
components the set of components synchronisedEvents the set of events to synchronise
- Precondition
- everything must be valid
- the events to synchronise must belong to all the components
The documentation for this class was generated from the following file:
- /home/yannick/laas/redmine/tools/diades/include/diades/automata/SynchronisationRules.hh
