DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Types | Public Member Functions | List of all members
Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator > Class Template Reference

#include <InfoManager.hh>

Public Types

using Data = Info
 
using Iterator = _Iterator
 
using MapStructure = InfoManager
 

Public Member Functions

const Dataoperator() (const MapStructure &m, Iterator it) const
 

Detailed Description

template<typename _Info, typename _InfoId, typename _NullInfo = NullValue<_Info>, typename _NullInfoId = NullValue<_InfoId>, typename _Hash = std::hash<_Info>>
template<typename _Iterator>
class Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator >

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.

Member Typedef Documentation

◆ Data

template<typename _Info, typename _InfoId, typename _NullInfo = NullValue<_Info>, typename _NullInfoId = NullValue<_InfoId>, typename _Hash = std::hash<_Info>>
template<typename _Iterator >
using Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator >::Data = Info

Definition at line 157 of file InfoManager.hh.

◆ Iterator

template<typename _Info, typename _InfoId, typename _NullInfo = NullValue<_Info>, typename _NullInfoId = NullValue<_InfoId>, typename _Hash = std::hash<_Info>>
template<typename _Iterator >
using Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator >::Iterator = _Iterator

Definition at line 158 of file InfoManager.hh.

◆ MapStructure

template<typename _Info, typename _InfoId, typename _NullInfo = NullValue<_Info>, typename _NullInfoId = NullValue<_InfoId>, typename _Hash = std::hash<_Info>>
template<typename _Iterator >
using Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator >::MapStructure = InfoManager

Definition at line 159 of file InfoManager.hh.

Member Function Documentation

◆ operator()()

template<typename _Info, typename _InfoId, typename _NullInfo = NullValue<_Info>, typename _NullInfoId = NullValue<_InfoId>, typename _Hash = std::hash<_Info>>
template<typename _Iterator >
const Data& Diades::Utils::InfoManager< _Info, _InfoId, _NullInfo, _NullInfoId, _Hash >::GetInfo< _Iterator >::operator() ( const MapStructure m,
Iterator  it 
) const
inline

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