S
- state classI
- input symbol classpublic interface SimpleDTS<S,I> extends SimpleTS<S,I>
Implementation note: It is suggested to use a non-null type for the state class, as null
will be used
to denote an undefined successor. Allowing null
to identify a state won't allow you to differentiate between
a defined and undefined successor.
Modifier and Type | Method and Description |
---|---|
S |
getInitialState()
Retrieves the initial state of this transition system.
|
default Set<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<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<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.
|
static <S> Set<S> |
stateToSet(S state) |
createDynamicStateMapping, createStaticStateMapping, getSuccessors
default Set<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.default Set<S> getSuccessors(S state, I input)
SimpleTS
getSuccessors
in interface SimpleTS<S,I>
state
- the source state.input
- the input symbol.default Set<S> getStates(Iterable<? extends I> input)
SimpleTS
getSuccessors(getInitialStates(), input)
.default Set<S> getInitialStates()
SimpleTS
getInitialStates
in interface SimpleTS<S,I>
default S getState(Iterable<? extends I> input)
input
- the input word.null
if no state is reachable by this word.SimpleTS.getStates(Iterable)
S getInitialState()
SimpleTS.getInitialStates()
static <S> Set<S> stateToSet(S state)
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)
S getSuccessor(S state, I input)
state
- the source state.input
- the input symbol.null
if no state is reachable by
this symbol.TransitionSystem.getSuccessors(Object, Object)
Copyright © 2020. All rights reserved.