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>
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
removeState, removeState, unlinkState
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor, powersetView
createDynamicStateMapping, getSuccessors
Copyright © 2015. All rights reserved.