public interface MooreTransitionSystem<S,I,T,O> extends DeterministicStateOutputTS<S,I,T,O>, UniversalDTS<S,I,T,O,Void>
Modifier and Type | Method and Description |
---|---|
default O |
getStateProperty(S state)
Retrieves the state property for the given state.
|
default Void |
getTransitionProperty(S state,
I input)
Retrieves the transition property of the outgoing transition corresponding to the given state and input, if it
exists.
|
default Void |
getTransitionProperty(T transition)
Retrieves the transition property for the given state.
|
trace
trace
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
getStateOutput
default Void getTransitionProperty(S state, I input)
UniversalDTS
null
is returned.
Note that this method alone is insufficient for determining whether or not a transition actually exists, as
null
might either be property of an existing transition, or indicate that the transition does not exist.
getTransitionProperty
in interface UniversalDTS<S,I,T,O,Void>
state
- the source stateinput
- the input symbolnull
default Void getTransitionProperty(T transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,T,O,Void>
transition
- the transition.default O getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,T,O,Void>
state
- the state.Copyright © 2020. All rights reserved.