DiaDes  0.1
DIAgnosis of Discrete-Event System
Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator > Member List

This is the complete list of members for Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >, including all inherited members.

_compDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >private
_compIdsDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >private
_creatorDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >mutableprivate
_initialStateEnumeratorDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >mutableprivate
_modelsDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >private
_notStartedDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >mutableprivate
_pendingInputsDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >mutableprivate
_pendingOutputsDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >mutableprivate
_stateOfVectorDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >mutableprivate
_syncDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >private
_synchronisationEventsInUseDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >private
_synchronisationEventsOfSynchronisedEventDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >private
_synchronisedFsmDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >private
_validDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >private
_vectorOfStateDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >mutableprivate
checkSynchronisationEvent(const SyncEvent &syncEvent)Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inlineprivate
completeSynchronisation(Fsm &synchronisedFsm)Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
completeSynchronisation()Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inlineprivate
Component typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
component() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
ComposableModel()=defaultDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
ComposableModel(ComposableModel const &other)=defaultDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
ComposableModel(ComposableModel &&other)=defaultDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
ComposableModel(const Component &component, const SynchronisationRules< Fsm > &synchronisation)Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
ComposableModel(const vector< typename Ptr< ComposableModel >::ConstP > &models, const SynchronisationRules< Fsm > &synchronisation, StateCreator &creator)Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
ComposableModel(const vector< typename Ptr< ComposableModel >::ConstP > &models, const SynchronisationRules< Fsm > &synchronisation, StateCreator &creator, Fsm &result)Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
computeSynchronisationEventsInUse()Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inlineprivate
createInitialStates() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inlineprivate
Event typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
Exception typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
init(Fsm &synchronisedFsm)Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
initialStateBegin() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
initialStateEnd() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
InitialStateEnumerator typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
InitialStateIterator typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
initInitialStateEnumeration()Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inlineprivate
inputEventTransitionBegin(State s, Event e) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
inputEventTransitionEnd(State s, Event e) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
InputEventTransitionIterator typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
inputTransitionBegin(State s) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
inputTransitionEnd(State s) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
InputTransitionIterator typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
isValid() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
models() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
models()Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
name() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
newInitialState(StateVector &initialStates, State &initialState) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
newState(const StateVector &states, State &result) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
operator=(ComposableModel const &other)=defaultDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
operator=(ComposableModel &&other)=defaultDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
outputEventTransitionBegin(State s, Event e) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
outputEventTransitionEnd(State s, Event e) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
OutputEventTransitionIterator typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
outputTransitionBegin(State s) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
outputTransitionEnd(State s) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
OutputTransitionIterator typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
State typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
stateBegin() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
stateEnd() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
StateIterator typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
StateOfVector typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
StateVector typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
SyncEvent typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
synchronisationLaw() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
synchroniseInputs(State state, Event event) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
synchroniseOutputs(State state, Event event) constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
SyncRules typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
Transition typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
transitionBegin() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
transitionEnd() constDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inline
TransitionIterator typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
typeName()Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >inlinestatic
VectorOfState typedefDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >
~ComposableModel()=defaultDiades::Automata::Experimental::ComposableModel< Fsm, StateCreator >virtual