public abstract class AbstractShrinkableDeterministic<S,I,T,SP,TP> extends AbstractMutableDeterministic<S,I,T,SP,TP> implements ShrinkableDeterministic<S,I,T,SP,TP>
Constructor and Description |
---|
AbstractShrinkableDeterministic() |
Modifier and Type | Method and Description |
---|---|
void |
removeState(S state)
removes a state from the automaton.
|
addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions
iterator, size, stateIDs
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
setInitialState, setTransition, setTransition
getTransition
getInitialState, getState, getSuccessor, getSuccessor
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 AbstractShrinkableDeterministic()
public void removeState(S state)
ShrinkableAutomaton
removeState
in interface ShrinkableAutomaton<S,I,T,SP,TP>
Copyright © 2015. All Rights Reserved.