S
- state classI
- input symbol classT
- transition classSP
- state property classTP
- transition property classpublic interface ShrinkableAutomaton<S,I,T,SP,TP> extends MutableAutomaton<S,I,T,SP,TP>
Modifier and Type | Method and Description |
---|---|
void |
removeState(S state)
removes a state from the automaton.
|
void |
removeState(S state,
S replacement)
Removes a state from the automaton.
|
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
void removeState(S state)
s:
- state to be removedvoid removeState(S state, 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.