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)
removes a state from the automaton.
|
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, removeTransition
createStaticStateMapping, createStaticStateMapping, iterator, iterator, size, size, stateIDs, stateIDs
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
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
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)
ShrinkableAutomaton
removeState
in interface ShrinkableAutomaton<S,I,T,SP,TP>
Copyright © 2015. All rights reserved.