Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::GetStatePropertyId< _Iterator > Class Template Reference

Public Types
using	Data = StatePropertyId
using	MapStructure = StateMachine
using	Iterator = _Iterator

Public Member Functions
const Data &	operator() (const MapStructure &m, Iterator it) const

Detailed Description

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>
template<typename _Iterator>
class Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::GetStatePropertyId< _Iterator >

Internal class that implements a Mapper functor to retrieve from a State of a StateMachine its StatePropertyId This functor is used by a StatePropertyIdRangeIterator

See also

StatePropertyIdRangeIterator, Diades::Utils::RangeMapperIterator

Definition at line 198 of file StateMachine.hh.

Member Typedef Documentation

Data

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

template<typename _Iterator >

using Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::GetStatePropertyId< _Iterator >::Data = StatePropertyId

Definition at line 201 of file StateMachine.hh.

Iterator

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

template<typename _Iterator >

using Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::GetStatePropertyId< _Iterator >::Iterator = _Iterator

Definition at line 203 of file StateMachine.hh.

MapStructure

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

template<typename _Iterator >

using Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::GetStatePropertyId< _Iterator >::MapStructure = StateMachine

Definition at line 202 of file StateMachine.hh.

Member Function Documentation

operator()()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

template<typename _Iterator >

const Data& Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::GetStatePropertyId< _Iterator >::operator() ( const MapStructure &  m, Iterator  it  ) const

inline

Definition at line 205 of file StateMachine.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::getStatePropertyId().

---

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

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