DiaDes
0.1
DIAgnosis of Discrete-Event System
|
utility class that is used as a Mapper for a RangeMapperIterator
The purpose is to efficiently get access to the StateProperty of each local state through an index (size_t index operating as a iterator here). The MapStructure is the ManagedSynchronisedStateCreation object itself. The returned Data is a StateProperty.