DiaDes  0.1
DIAgnosis of Discrete-Event System
Diades::Automata::Experimental::ManagedSynchronisedAcceptingStateCreation< S, I, NS, NI, _StateProperty, StatePropertyCombination > Member List

This is the complete list of members for Diades::Automata::Experimental::ManagedSynchronisedAcceptingStateCreation< S, I, NS, NI, _StateProperty, StatePropertyCombination >, including all inherited members.

_machinesDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >protected
_managersDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >protected
_pstatesDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >protected
_syncManagerDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >protected
_targetDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >protected
ManagedSynchronisedAcceptingStateCreation(const std::vector< typename Ptr< typename MSSC::StateMachine >::ConstP > &machines, const std::vector< typename Ptr< typename MSSC::SManager >::ConstP > &managers, typename MSSC::SManager &syncManager)Diades::Automata::Experimental::ManagedSynchronisedAcceptingStateCreation< S, I, NS, NI, _StateProperty, StatePropertyCombination >inline
ManagedSynchronisedStateCreation(const std::vector< typename Ptr< StateMachine >::ConstP > &machines, const std::vector< typename Ptr< SManager >::ConstP > &managers, SManager &syncManager)Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >inline
MSSC typedefDiades::Automata::Experimental::ManagedSynchronisedAcceptingStateCreation< S, I, NS, NI, _StateProperty, StatePropertyCombination >
newState(const std::vector< typename MSSC::State > &states)Diades::Automata::Experimental::ManagedSynchronisedAcceptingStateCreation< S, I, NS, NI, _StateProperty, StatePropertyCombination >inlinevirtual
setAcceptingState(const std::vector< typename MSSC::State > &states, typename MSSC::State newState)Diades::Automata::Experimental::ManagedSynchronisedAcceptingStateCreation< S, I, NS, NI, _StateProperty, StatePropertyCombination >inlineprivate
setStateMachine(StateMachine &target)Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >inline
SManager typedefDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >
State typedefDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >
StateMachine typedefDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >
StateProperty typedefDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >
StatePropertyId typedefDiades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination >