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 |
---|---|
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()
S addInitialState(SP property)
S addInitialState()
void setInitial(S state, boolean initial)
void setStateProperty(S state, SP property)
void setTransitionProperty(T transition, TP property)
T createTransition(S successor, TP properties)
void addTransition(S state, I input, T transition)
void addTransitions(S state, I input, Collection<? extends T> transitions)
void setTransitions(S state, I input, Collection<? extends T> transitions)
void removeTransition(S state, I input, T transition)
void removeAllTransitions(S state, I input)
void removeAllTransitions(S state)
T copyTransition(T trans, S succ)
Copyright © 2015. All Rights Reserved.