S
- state classI
- input symbol classT
- transition classSP
- state property classTP
- transition property classpublic interface UniversalDeterministicAutomaton<S,I,T,SP,TP> extends DeterministicAutomaton<S,I,T>, UniversalDTS<S,I,T,SP,TP>, UniversalAutomaton<S,I,T,SP,TP>
DeterministicAutomaton
with state and transition properties.UniversalAutomaton
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor, powersetView
createDynamicStateMapping, getSuccessors
Copyright © 2015. All rights reserved.