S
- state classI
- input symbol classT
- transition class@ParametersAreNonnullByDefault public interface TransitionSystem<S,I,T> extends SimpleTS<S,I>
SimpleTS
by introducing
the concept of inspectable transitions, allowing to associate other information
apart from the successor state with each transition.Modifier and Type | Method and Description |
---|---|
S |
getSuccessor(T transition)
Retrieves the successor state of a given transition.
|
Collection<? extends T> |
getTransitions(S state,
I input)
Retrieves the transitions that can be triggered by the given
input symbol.
|
PowersetViewTS<?,I,?,S,T> |
powersetView()
Retrieves a "powerset view" of this transition system.
|
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
@Nonnull Collection<? extends T> getTransitions(S state, @Nullable I input)
The return value must not be null
; if there
are no transitions triggered by the specified input,
Collections.emptySet()
should be returned.
state
- the source state.input
- the input symbol.@Nonnull S getSuccessor(T transition)
transition
- the transition.@Nonnull PowersetViewTS<?,I,?,S,T> powersetView()
Copyright © 2015. All rights reserved.