DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <InfoManager.hh>
Public Types | |
using | Data = Info |
using | Iterator = _Iterator |
using | MapStructure = InfoManager |
Public Member Functions | |
const Data & | operator() (const MapStructure &m, Iterator it) const |
that is used to get a Info from an iterator over the InfoManager used
with a RangeMapperIterator
Definition at line 154 of file InfoManager.hh.
using Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator >::Data = Info |
Definition at line 157 of file InfoManager.hh.
using Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator >::Iterator = _Iterator |
Definition at line 158 of file InfoManager.hh.
using Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator >::MapStructure = InfoManager |
Definition at line 159 of file InfoManager.hh.
|
inline |
Definition at line 161 of file InfoManager.hh.
References Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::getInfo().