Detailed Description

utility class that is used as a Mapper for a RangeMapperIterator

See also: RangeMapperIterator in diades/utils/Iterator.hh

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.

The documentation for this class was generated from the following file:

/home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/StateCreation.hh