public interface TransitionOutputAutomaton<S,I,T,O> extends SODetOutputAutomaton<S,I,T,Word<O>>, DeterministicTransitionOutputTS<S,I,T,O>
Modifier and Type | Method and Description |
---|---|
default Word<O> |
computeOutput(Iterable<? extends I> input) |
default Word<O> |
computeSuffixOutput(Iterable<? extends I> prefix,
Iterable<? extends I> suffix) |
transitionGraphView
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
getOutput, trace, trace
getTransitionOutput
default Word<O> computeOutput(Iterable<? extends I> input)
computeOutput
in interface Output<I,Word<O>>
computeOutput
in interface SuffixOutput<I,Word<O>>
Copyright © 2015. All rights reserved.