S
- state classI
- input symbol class@ParametersAreNonnullByDefault public interface SimpleDTS<S,I> extends SimpleTS<S,I>
Modifier and Type | Method and Description |
---|---|
S |
getInitialState()
Retrieves the initial state of this transition system.
|
default Set<? extends S> |
getInitialStates()
Retrieves the set of initial states of the transition system.
|
default S |
getState(Iterable<? extends I> input)
Retrieves the state reachable by the given sequence of input symbols
from the initial state.
|
default 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.
|
S |
getSuccessor(S state,
I input)
Retrieves the successor state reachable by the given input symbol.
|
default S |
getSuccessor(S state,
Iterable<? extends I> input)
Retrieves the successor state reachable by the given sequence of
input symbols.
|
default Set<? extends S> |
getSuccessors(S state,
I input)
Retrieves the set of successors for the given input symbol.
|
default Set<? extends S> |
getSuccessors(S state,
Iterable<? extends I> input)
Retrieves the set of successors for the given sequence of input symbols.
|
static <S> Set<S> |
stateToSet(S state) |
createDynamicStateMapping, createStaticStateMapping, getSuccessors
static <S> Set<S> stateToSet(S state)
default Set<? extends S> getInitialStates()
SimpleTS
getInitialStates
in interface SimpleTS<S,I>
@Nonnull default Set<? extends 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 default Set<? extends S> getSuccessors(S state, Iterable<? extends I> input)
SimpleTS
getSuccessors
in interface SimpleTS<S,I>
state
- the source state.input
- the sequence of input symbols.null
if no successor states are reachable by this input.@Nonnull default Set<? extends S> getStates(Iterable<? extends I> input)
SimpleTS
getSuccessors(getInitialStates(), input)
.@Nullable S getInitialState()
SimpleTS.getInitialStates()
@Nullable S getSuccessor(S state, @Nullable I input)
state
- the source state.input
- the input symbol.null
if no state is reachable by this symbol.TransitionSystem.getSuccessors(Object, Object)
@Nullable default S getSuccessor(S state, Iterable<? extends I> input)
state
- the source state.input
- the input symbol.null
if no state is reachable by this symbol.SimpleTS.getSuccessors(Object, Iterable)
@Nullable default S getState(Iterable<? extends I> input)
input
- the input word.null
if no state is reachable by this word.SimpleTS.getStates(Iterable)
Copyright © 2015. All rights reserved.