S
- state classI
- input symbol classT
- transition classSP
- state property classTP
- transition property classpublic interface ShrinkableDeterministic<S,I,T,SP,TP> extends MutableDeterministic<S,I,T,SP,TP>, ShrinkableAutomaton<S,I,T,SP,TP>
setInitialState, setTransition, setTransition
getTransition
getInitialState, getState, getSuccessor, getSuccessor
removeState, removeState
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitions
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
Copyright © 2015. All Rights Reserved.