public abstract class AbstractShrinkableAutomaton<S,I,T,SP,TP> extends AbstractMutableAutomaton<S,I,T,SP,TP> implements ShrinkableAutomaton<S,I,T,SP,TP>
| Constructor and Description |
|---|
AbstractShrinkableAutomaton() |
| Modifier and Type | Method and Description |
|---|---|
void |
removeState(S state) |
static <S,I,T,SP,TP> |
removeState(ShrinkableAutomaton<S,I,T,SP,TP> $this,
S state) |
static <S,I,T,SP,TP> |
unlinkState(MutableAutomaton<S,I,T,SP,TP> automaton,
S state,
S replacement,
Collection<I> inputs) |
addInitialState, addInitialState, addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransitioniterator, iterator, size, size, stateIDs, stateIDscreateDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitremoveStateaddInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitionsgetStates, size, stateIDsgetStateProperty, getTransitionPropertygetSuccessor, getTransitions, powersetViewcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorspublic AbstractShrinkableAutomaton()
public static <S,I,T,SP,TP> void removeState(ShrinkableAutomaton<S,I,T,SP,TP> $this, S state)
public static <S,I,T,SP,TP> void unlinkState(MutableAutomaton<S,I,T,SP,TP> automaton, S state, S replacement, Collection<I> inputs)
public void removeState(S state)
removeState in interface ShrinkableAutomaton<S,I,T,SP,TP>Copyright © 2013. All Rights Reserved.