S
- state typeI
- input symbol typeT
- transition typepublic interface Automaton<S,I,T> extends TransitionSystem<S,I,T>, SimpleAutomaton<S,I>
TransitionSystem
with a finite number of states.Modifier and Type | Method and Description |
---|---|
default Graph<S,TransitionEdge<I,T>> |
transitionGraphView(Collection<? extends I> inputs)
Obtains a
graph view of the transition graph of this automaton, taking into
account the specified input symbols. |
getSuccessor, getSuccessors, getTransitions, powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
forEach, spliterator
default Graph<S,TransitionEdge<I,T>> transitionGraphView(Collection<? extends I> inputs)
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.inputs
- the input symbols to considerCopyright © 2015. All rights reserved.