public interface DeterministicTransitionOutputTS<S,I,T,O> extends DeterministicOutputTS<S,I,T,O>, TransitionOutput<T,O>
Modifier and Type | Method and Description |
---|---|
default O |
getOutput(S state,
I input)
Retrieves the output for the given input symbol in the given state.
|
default boolean |
trace(S state,
Iterable<? extends I> input,
List<? super O> output) |
trace
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
getTransitionOutput
default O getOutput(S state, 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 © 2020. All rights reserved.