S
- state class.I
- input symbol class.T
- transition class.SP
- state property.TP
- transition property.@ParametersAreNonnullByDefault public interface MutableAutomaton<S,I,T,SP,TP> extends UniversalAutomaton<S,I,T,SP,TP>
ShrinkableAutomaton
is the adequate interface.Modifier and Type | Method and Description |
---|---|
S |
addInitialState() |
S |
addInitialState(SP property) |
S |
addState() |
S |
addState(SP property)
Adds a state to the automaton.
|
T |
addTransition(S state,
I input,
S successor,
TP properties) |
void |
addTransition(S state,
I input,
T transition) |
void |
addTransitions(S state,
I input,
Collection<? extends T> transitions) |
void |
clear()
Removes all states and transitions.
|
T |
copyTransition(T trans,
S succ) |
T |
createTransition(S successor,
TP properties) |
void |
removeAllTransitions(S state) |
void |
removeAllTransitions(S state,
I input) |
void |
removeTransition(S state,
I input,
T transition) |
void |
setInitial(S state,
boolean initial) |
void |
setStateProperty(S state,
SP property) |
void |
setTransitionProperty(T transition,
TP property) |
void |
setTransitions(S state,
I input,
Collection<? extends T> transitions) |
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
void clear()
@Nonnull S addState(@Nullable SP property)
property
- void setInitial(S state, boolean initial)
void addTransitions(S state, @Nullable I input, Collection<? extends T> transitions)
void setTransitions(S state, @Nullable I input, Collection<? extends T> transitions)
void removeAllTransitions(S state)
@Nonnull T addTransition(S state, @Nullable I input, S successor, @Nullable TP properties)
Copyright © 2015. All rights reserved.