S
- state class.I
- symbol class.@ParametersAreNonnullByDefault public interface SimpleTS<S,I>
Modifier and Type | Method and Description |
---|---|
default <V> MutableMapping<S,V> |
createDynamicStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data with this transition system's states. |
default <V> MutableMapping<S,V> |
createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data with this transition system's states. |
Set<S> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
default Set<S> |
getStates(Iterable<? extends I> input)
Retrieves the set of all states reachable by the given sequence of input symbols from an initial state.
|
default Set<S> |
getSuccessors(Collection<? extends S> states,
Iterable<? extends I> input)
Retrieves the set of all successors that can be reached from any of the given source states by the specified
sequence of input symbols.
|
Set<S> |
getSuccessors(S state,
I input)
Retrieves the set of successors for the given input symbol.
|
default Set<S> |
getSuccessors(S state,
Iterable<? extends I> input)
Retrieves the set of successors for the given sequence of input symbols.
|
@Nonnull default Set<S> getSuccessors(S state, Iterable<? extends I> input)
state
- the source state.input
- the sequence of input symbols.null
if no successor states are reachable
by this input.@Nonnull default Set<S> getSuccessors(Collection<? extends S> states, Iterable<? extends I> input)
states
- the source states.input
- the sequence of input symbols.null
if no successor states are reachable.@Nonnull Set<S> getSuccessors(S state, @Nullable I input)
state
- the source state.input
- the input symbol.null
if no successor states are reachable
by this input.@Nonnull default Set<S> getStates(Iterable<? extends I> input)
getSuccessors(getInitialStates(), input)
.input
- the sequence of input symbols.null
if no successor
state is reachable.@Nonnull Set<S> getInitialStates()
@Nonnull default <V> MutableMapping<S,V> createStaticStateMapping()
MutableMapping
allowing to associate arbitrary data with this transition system's states. The
returned mapping is however only guaranteed to work correctly if the transition system is not modified.@Nonnull default <V> MutableMapping<S,V> createDynamicStateMapping()
MutableMapping
allowing to associate arbitrary data with this transition system's states. The
returned mapping maintains the association even when the transition system is modified.Copyright © 2019. All rights reserved.