S
- state classI
- input symbol classT
- transition classSP
- state property classTP
- transition property class@ParametersAreNonnullByDefault public interface ShrinkableAutomaton<S,I,T,SP,TP> extends MutableAutomaton<S,I,T,SP,TP>
Modifier and Type | Method and Description |
---|---|
default void |
removeState(S state)
removes a state from the automaton.
|
void |
removeState(S state,
S replacement)
Removes a state from the automaton.
|
static <S,I,T,SP,TP> |
unlinkState(MutableAutomaton<S,I,T,SP,TP> automaton,
S state,
S replacement,
Collection<I> inputs) |
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitions
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getSuccessors, getTransitions, powersetView
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
static <S,I,T,SP,TP> void unlinkState(MutableAutomaton<S,I,T,SP,TP> automaton, S state, S replacement, Collection<I> inputs)
default void removeState(S state)
state
- state to be removedvoid removeState(S state, @Nullable S replacement)
null
replacement is given, then
this method behaves like the above removeState(Object)
.state
- the state to removereplacement
- the replacement state, or null
Copyright © 2015. All rights reserved.