public interface MooreMachine<S,I,T,O> extends UniversalDeterministicAutomaton<S,I,T,O,Void>, StateOutput<S,O>, TransitionOutputAutomaton<S,I,T,O>
Modifier and Type | Method and Description |
---|---|
default O |
getStateProperty(S state)
Retrieves the state property for the given state.
|
default O |
getTransitionOutput(T transition) |
default Void |
getTransitionProperty(T transition)
Retrieves the transition property for the given state.
|
transitionGraphView
getStateOutput
computeOutput, computeSuffixOutput
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
getOutput, trace, trace
default O getStateProperty(S state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<S,I,T,O,Void>
state
- the state.default Void getTransitionProperty(T transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<S,I,T,O,Void>
transition
- the transition.default O getTransitionOutput(T transition)
getTransitionOutput
in interface TransitionOutput<T,O>
Copyright © 2015. All rights reserved.