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>> |
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
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. |
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
computeStateOutput
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
getTransitionProperty
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 graph.transitionGraphView
in interface Automaton<S,I,T>
transitionGraphView
in interface UniversalAutomaton<S,I,T,Void,O>
inputs
- the input symbols to considerCopyright © 2019. All rights reserved.