public interface MealyTransitionSystem<S,I,T,O> extends DeterministicTransitionOutputTS<S,I,T,O>, UniversalDTS<S,I,T,Void,O>
Modifier and Type | Method and Description |
---|---|
default Void |
getStateProperty(S state)
Retrieves the state property for the given state.
|
default O |
getTransitionProperty(T transition)
Retrieves the transition property for the given state.
|
getOutput, trace, trace
getTransitionOutput
getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
default Void getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,T,Void,O>
state
- the state.default O getTransitionProperty(T transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,T,Void,O>
transition
- the transition.Copyright © 2018. All rights reserved.