Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::GetStateProperty Class Reference

Public Types
using	Data = StateProperty
using	Iterator = size_t
using	MapStructure = ManagedSynchronisedStateCreation

Public Member Functions
const Data &	operator() (const MapStructure &m, size_t index) const

Detailed Description

template<typename _StateMachine, typename _StateProperty, typename StatePropertyCombination>
class Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::GetStateProperty

Definition at line 835 of file StateCreation.hh.

Member Typedef Documentation

Data

template<typename _StateMachine, typename _StateProperty, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::GetStateProperty::Data = StateProperty

Definition at line 840 of file StateCreation.hh.

Iterator

template<typename _StateMachine, typename _StateProperty, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::GetStateProperty::Iterator = size_t

Definition at line 844 of file StateCreation.hh.

MapStructure

template<typename _StateMachine, typename _StateProperty, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::GetStateProperty::MapStructure = ManagedSynchronisedStateCreation

Definition at line 849 of file StateCreation.hh.

Member Function Documentation

operator()()

template<typename _StateMachine, typename _StateProperty, typename StatePropertyCombination>

const Data& Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::GetStateProperty::operator() ( const MapStructure &  m, size_t  index  ) const

inline

Parameters

m	the ManagedSynchronisedStateCreation to look in
index	the index to look in

Returns

the StateProperty of the State from the local machine at the given index

Definition at line 857 of file StateCreation.hh.

References Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::_machines, Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::_managers, and Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::_pstates.

---

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

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