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
getTransition
getInitialState, getState, getSuccessor, getSuccessor
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
Copyright © 2015. All Rights Reserved.