S
- state class.I
- input symbol class.T
- transition class.SP
- state property.TP
- transition property.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 |
---|---|
default S |
addInitialState() |
default S |
addInitialState(SP property) |
default S |
addState() |
S |
addState(SP property)
Adds a state to the automaton.
|
default T |
addTransition(S state,
I input,
S successor,
TP properties) |
default void |
addTransition(S state,
I input,
T transition) |
default void |
addTransitions(S state,
I input,
Collection<? extends T> transitions) |
void |
clear()
Removes all states and transitions.
|
default T |
copyTransition(T trans,
S succ) |
T |
createTransition(S successor,
TP properties) |
void |
removeAllTransitions(S state) |
default void |
removeAllTransitions(S state,
I input) |
default 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) |
transitionGraphView
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getSuccessors, getTransitions, powersetView
getInitialStates, getStates, getSuccessors, getSuccessors
void clear()
default S addState()
default S addInitialState()
void setInitial(S state, boolean initial)
default void addTransitions(S state, I input, Collection<? extends T> transitions)
void setTransitions(S state, I input, Collection<? extends T> transitions)
void removeAllTransitions(S state)
Copyright © 2020. All rights reserved.