@ParametersAreNonnullByDefault public interface DeterministicTransitionOutputTS<S,I,T,O> extends DeterministicTransitionSystem<S,I,T>, TransitionOutput<T,O>
Modifier and Type | Method and Description |
---|---|
O |
getOutput(S state,
I input)
Retrieves the output for the given input symbol in the given state.
|
boolean |
trace(Iterable<? extends I> input,
List<? super O> output) |
boolean |
trace(S state,
Iterable<? extends I> input,
List<? super O> output) |
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
getTransitionOutput
@Nullable O getOutput(S state, @Nullable I input)
TransitionOutput.getTransitionOutput(Object)
on the transition returned by DeterministicTransitionSystem.getTransition(Object, Object)
, however
it should be noted that this function does not allow distinguishing between
a null
output and an undefined transition.state
- the source stateinput
- the input symbolnull
if the transition is undefined)Copyright © 2015. All rights reserved.