public interface UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> extends UniversalAutomaton<S,I,T,SP,TP>, FiniteAlphabetAutomaton<S,I,T>
Modifier and Type | Method and Description |
---|---|
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>> |
transitionGraphView() |
transitionGraphView
getStateProperty, getTransitionProperty
graphView
getSuccessor, getSuccessors, getTransitions, powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
forEach, spliterator
getInputAlphabet
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>> transitionGraphView()
transitionGraphView
in interface FiniteAlphabetAutomaton<S,I,T>
Copyright © 2015. All rights reserved.