public interface FiniteAlphabetAutomaton<S,I,T> extends Automaton<S,I,T>, InputAlphabetHolder<I>
getSuccessor, getTransitions, powersetView
getStates, size, stateIDs
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, iterator, spliterator
getInputAlphabet
Copyright © 2015. All Rights Reserved.