public interface DOTPlottableAutomaton<S,I,T> extends Automaton<S,I,T>, InputAlphabetHolder<I>
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<S,TransitionEdge<I,T>> |
getDOTHelper() |
getSuccessor, getTransitions, powersetView
getStates, size, stateIDs
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, iterator, spliterator
getInputAlphabet
GraphDOTHelper<S,TransitionEdge<I,T>> getDOTHelper()
Copyright © 2015. All rights reserved.