_machines | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | protected |
_managers | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | protected |
_pstates | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | protected |
_syncManager | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | protected |
_target | Diades::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 typedef | Diades::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 typedef | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | |
State typedef | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | |
StateMachine typedef | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | |
StateProperty typedef | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | |
StatePropertyId typedef | Diades::Automata::Experimental::ManagedSynchronisedStateCreation< FiniteAutomaton< S, I, NS, NI >, _StateProperty, StatePropertyCombination > | |