public interface MooreMachine<S,I,T,O> extends UniversalDeterministicAutomaton<S,I,T,O,Void>, StateOutputAutomaton<S,I,T,O>, MooreTransitionSystem<S,I,T,O>
Modifier and Type | Interface and Description |
---|---|
static class |
MooreMachine.MooreGraphView<S,I,T,O,A extends MooreMachine<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>,O,TransitionEdge.Property<I,Void>> |
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
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
getSuccessors
getStateProperty, getTransitionProperty, getTransitionProperty
trace
trace
getStateOutput
default UniversalGraph<S,TransitionEdge<I,T>,O,TransitionEdge.Property<I,Void>> 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,O,Void>
inputs
- the input symbols to considerCopyright © 2020. All rights reserved.