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 |
---|---|
default void |
addTransition(S state,
I input,
T transition) |
default void |
removeAllTransitions(S state,
I input) |
default void |
removeTransition(S state,
I input,
T transition) |
default void |
setInitial(S state,
boolean initial) |
void |
setInitialState(S state)
Sets the initial state to the given state.
|
default 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.
|
default void |
setTransitions(S state,
I input,
Collection<? extends T> transitions) |
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getStateProperty, getTransitionProperty
getSuccessor, powersetView
createDynamicStateMapping, getSuccessors
default void addTransition(S state, I input, T transition)
addTransition
in interface MutableAutomaton<S,I,T,SP,TP>
default void removeTransition(S state, I input, T transition)
removeTransition
in interface MutableAutomaton<S,I,T,SP,TP>
default void removeAllTransitions(S state, I input)
removeAllTransitions
in interface MutableAutomaton<S,I,T,SP,TP>
default void setTransitions(S state, I input, Collection<? extends T> transitions)
setTransitions
in interface MutableAutomaton<S,I,T,SP,TP>
default void setInitial(S state, boolean initial)
setInitial
in interface MutableAutomaton<S,I,T,SP,TP>
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 transitiondefault void 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.