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<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<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
@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)
@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)
@Nonnull default Set<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.@Nonnull default Collection<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.Copyright © 2019. All rights reserved.