public interface TransitionOutputAutomaton<S,I,T,O> extends SODetOutputAutomaton<S,I,T,Word<O>>, 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.
|
void |
trace(Iterable<I> input,
List<O> output) |
void |
trace(S state,
Iterable<I> input,
List<O> output) |
computeOutput
getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
computeSuffixOutput
getTransitionOutput
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 © 2015. All Rights Reserved.