S
- state class.I
- symbol class.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<S> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
Set<S> |
getStates(Iterable<I> input)
Retrieves the set of all states reachable by the given sequence of input
symbols from an initial state.
|
Set<S> |
getSuccessors(Collection<S> states,
Iterable<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.
|
Set<S> |
getSuccessors(S state,
Iterable<I> input)
Retrieves the set of successors for the given sequence of input symbols.
|
Set<S> getInitialStates()
Set<S> getSuccessors(S state, I input)
state
- the source state.input
- the input symbol.null
if no successor states are reachable by this input.Set<S> getSuccessors(S state, Iterable<I> input)
state
- the source state.input
- the sequence of input symbols.null
if no successor states are reachable by this input.Set<S> getSuccessors(Collection<S> states, Iterable<I> input)
states
- the source states.input
- the sequence of input symbols.null
if no successor states are reachable.Set<S> getStates(Iterable<I> input)
getSuccessors(getInitialStates(), input)
.input
- the sequence of input symbols.null
if no successor state is reachable.<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.<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.