public interface MealyMachine<S,I,T,O> extends UniversalDeterministicAutomaton<S,I,T,Void,O>, TransitionOutputAutomaton<S,I,T,O>, MealyTransitionSystem<S,I,T,O>
Modifier and Type | Interface and Description |
---|---|
static class |
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>> |
Modifier and Type | Method and Description |
---|---|
default UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,O>> |
transitionGraphView(Collection<? extends I> inputs)
Obtains a
graph view of the transition graph of this automaton, taking into
account the specified input symbols. |
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
getStateProperty, getTransitionProperty
getOutput, trace, trace
getTransitionOutput
default UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,O>> transitionGraphView(Collection<? extends I> inputs)
Automaton
graph
view of the transition graph of this automaton, taking into
account the specified input symbols. The transitions are represented as TransitionEdge
s
in the grpah.transitionGraphView
in interface Automaton<S,I,T>
transitionGraphView
in interface UniversalAutomaton<S,I,T,Void,O>
inputs
- the input symbols to considerCopyright © 2015. All rights reserved.