S
- state class.I
- symbol class.@ParametersAreNonnullByDefault public interface SimpleTS<S,I>
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
createDynamicStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data
with this transition system's states. |
<V> MutableMapping<S,V> |
createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data
with this transition system's states. |
Set<? extends S> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
Set<? extends S> |
getStates(Iterable<? extends I> input)
Retrieves the set of all states reachable by the given sequence of input
symbols from an initial state.
|
Set<? extends 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<? extends S> |
getSuccessors(S state,
I input)
Retrieves the set of successors for the given input symbol.
|
Set<? extends S> |
getSuccessors(S state,
Iterable<? extends I> input)
Retrieves the set of successors for the given sequence of input symbols.
|
@Nonnull Set<? extends S> getInitialStates()
@Nonnull Set<? extends 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 Set<? extends 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 Set<? extends 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<? extends S> getStates(Iterable<? extends I> input)
getSuccessors(getInitialStates(), input)
.input
- the sequence of input symbols.null
if no successor state is reachable.@Nonnull <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 <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 © 2015. All rights reserved.