DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <SynchronisationEvent.hh>
Public Types | |
using | iterator_category = std::input_iterator_tag |
using | difference_type = Component |
using | value_type = Component |
using | pointer = typename Ptr< Component >::P |
using | reference = Component |
Public Member Functions | |
ComponentIterator (const ComponentVector *pVect, const EventVector *pEvent, Size index) | |
ComponentIterator (const ComponentIterator &it) | |
const Component & | operator* () const |
const Component * | operator-> () const |
ComponentIterator & | operator++ () |
ComponentIterator | operator++ (int) |
bool | operator== (const ComponentIterator &compIt) const |
bool | operator!= (const ComponentIterator &compIt) const |
Event | getAssociatedEvent () const |
Size | index () const |
Private Attributes | |
const ComponentVector * | _pVect |
const EventVector * | _pEvent |
Size | _index |
Iterator on a mapping between a Component and its associated event in a SynchronisationEvent. It is implemented as an index on two vectors, one contains the components and the other one the associated events. The associated event of component of index i is also at index i.
Definition at line 95 of file SynchronisationEvent.hh.
using Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::difference_type = Component |
Definition at line 99 of file SynchronisationEvent.hh.
using Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::iterator_category = std::input_iterator_tag |
Definition at line 98 of file SynchronisationEvent.hh.
using Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::pointer = typename Ptr<Component>::P |
Definition at line 101 of file SynchronisationEvent.hh.
using Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::reference = Component |
Definition at line 102 of file SynchronisationEvent.hh.
using Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::value_type = Component |
Definition at line 100 of file SynchronisationEvent.hh.
|
inline |
Parametrized Constructor
pVect | the vector of component |
pEvent | the vector of events |
index | the current index for this iterator |
Definition at line 117 of file SynchronisationEvent.hh.
|
inline |
Copy constructor
Definition at line 125 of file SynchronisationEvent.hh.
|
inline |
Definition at line 185 of file SynchronisationEvent.hh.
Referenced by Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::getAssociatedEvent().
|
inline |
Definition at line 194 of file SynchronisationEvent.hh.
Referenced by Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::addEvent().
|
inline |
difference operator
Definition at line 176 of file SynchronisationEvent.hh.
|
inline |
reference operator
Definition at line 132 of file SynchronisationEvent.hh.
|
inline |
prefix increment
Definition at line 148 of file SynchronisationEvent.hh.
|
inline |
postfix increment
Definition at line 157 of file SynchronisationEvent.hh.
|
inline |
pointer operator
Definition at line 140 of file SynchronisationEvent.hh.
|
inline |
equality operator
Definition at line 167 of file SynchronisationEvent.hh.
References Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::_index, Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::_pEvent, and Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::_pVect.
|
private |
Definition at line 107 of file SynchronisationEvent.hh.
Referenced by Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::operator==().
|
private |
Definition at line 106 of file SynchronisationEvent.hh.
Referenced by Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::operator==().
|
private |
Definition at line 105 of file SynchronisationEvent.hh.
Referenced by Diades::Automata::Experimental::SynchronisationEvent< StateMachine >::ComponentIterator::operator==().