DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <SynchronisationRules.hh>
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.