S
- state classI
- input symbol classT
- transition classSP
- state property classTP
- transition property classpublic interface UniversalAutomaton<S,I,T,SP,TP> extends Automaton<S,I,T>, UniversalTransitionSystem<S,I,T,SP,TP>
UniversalTransitionSystem
for a further explanation of this concept.Modifier and Type | Method and Description |
---|---|
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>> |
transitionGraphView(Collection<? extends I> inputs)
Obtains a
graph view of the transition graph of this automaton, taking into
account the specified input symbols. |
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getSuccessors, getTransitions, powersetView
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>> 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>
inputs
- the input symbols to considerCopyright © 2015. All rights reserved.