public interface FiniteAlphabetAutomaton<S,I,T> extends Automaton<S,I,T>, InputAlphabetHolder<I>, GraphViewable
Modifier and Type | Method and Description |
---|---|
default Graph<?,?> |
graphView() |
default Graph<S,TransitionEdge<I,T>> |
transitionGraphView() |
transitionGraphView
getSuccessor, getSuccessors, getTransitions, powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
forEach, spliterator
getInputAlphabet
default Graph<?,?> graphView()
graphView
in interface GraphViewable
default Graph<S,TransitionEdge<I,T>> transitionGraphView()
Copyright © 2015. All rights reserved.