S
- state class.I
- input symbol class.T
- transition class.public interface Automaton<S,I,T> extends TransitionSystem<S,I,T>, SimpleAutomaton<S,I>
TransitionSystem
with a finite number of states.getSuccessor, getTransitions, powersetView
getStates, size, stateIDs
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, iterator, spliterator
Copyright © 2015. All rights reserved.