S
- state class.I
- input symbol class.T
- transition class.SP
- state property.TP
- transition property.@ParametersAreNonnullByDefault public interface MutableDeterministic<S,I,T,SP,TP> extends UniversalDeterministicAutomaton<S,I,T,SP,TP>, MutableAutomaton<S,I,T,SP,TP>
Modifier and Type | Method and Description |
---|---|
void |
setInitialState(S state)
Sets the initial state to the given state.
|
void |
setTransition(S state,
I input,
S successor,
TP property)
Sets the transition for the given state and input symbol to a newly
created one.
|
void |
setTransition(S state,
I input,
T transition)
Sets the transition for the given state and input symbol.
|
getTransition
getInitialState, getState, getSuccessor, getSuccessor
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
void setInitialState(@Nullable S state)
null
can be passed.state
- the new initial state, or null
.void setTransition(S state, @Nullable I input, @Nullable T transition)
state
- the source stateinput
- the triggering input symboltransition
- the transitionvoid setTransition(S state, @Nullable I input, S successor, @Nullable TP property)
state
- the source stateinput
- the triggering input symbolsuccessor
- the target stateproperty
- the transition's propertyCopyright © 2015. All rights reserved.