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.
|
default Set<S> |
getSuccessors(S state,
I input)
Retrieves the set of successors for the given input symbol.
|
Collection<T> |
getTransitions(S state,
I input)
Retrieves the transitions that can be triggered by the given input symbol.
|
default PowersetViewTS<?,I,?,S,T> |
powersetView()
Retrieves a "powerset view" of this transition system.
|
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors
@Nonnull default Set<S> getSuccessors(S state, @Nullable I input)
SimpleTS
getSuccessors
in interface SimpleTS<S,I>
state
- the source state.input
- the input symbol.null
if no successor states are reachable
by this input.@Nonnull Collection<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 default PowersetViewTS<?,I,?,S,T> powersetView()
Copyright © 2019. All rights reserved.