S
- state classI
- input symbol classT
- transition class@ParametersAreNonnullByDefault public interface DeterministicTransitionSystem<S,I,T> extends TransitionSystem<S,I,T>, SimpleDTS<S,I>
TransitionSystem
, but in each state
there may exist at most one transition for each input symbol.Modifier and Type | Method and Description |
---|---|
default S |
getSuccessor(S state,
I input)
Retrieves the successor state reachable by the given input symbol.
|
default Set<? extends S> |
getSuccessors(S state,
I input)
Retrieves the set of successors for the given input symbol.
|
T |
getTransition(S state,
I input)
Retrieves the transition triggered by the given input symbol.
|
default Collection<? extends T> |
getTransitions(S state,
I input)
Retrieves the transitions that can be triggered by the given
input symbol.
|
static <T> Set<T> |
transToSet(T trans) |
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
@Nonnull default Collection<? extends T> getTransitions(S state, I input)
TransitionSystem
The return value must not be null
; if there
are no transitions triggered by the specified input,
Collections.emptySet()
should be returned.
getTransitions
in interface TransitionSystem<S,I,T>
state
- the source state.input
- the input symbol.@Nullable default S getSuccessor(S state, I input)
SimpleDTS
getSuccessor
in interface SimpleDTS<S,I>
state
- the source state.input
- the input symbol.null
if no state is reachable by this symbol.TransitionSystem.getSuccessors(Object, Object)
@Nonnull default Set<? extends S> getSuccessors(S state, I input)
SimpleTS
getSuccessors
in interface SimpleDTS<S,I>
getSuccessors
in interface SimpleTS<S,I>
getSuccessors
in interface TransitionSystem<S,I,T>
state
- the source state.input
- the input symbol.null
if no successor states are reachable by this input.@Nullable T getTransition(S state, @Nullable I input)
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
Copyright © 2015. All rights reserved.