public interface TransitionOutputAutomaton<S,I,T,O> extends DetSuffixOutputAutomaton<S,I,T,Word<O>>, DeterministicTransitionOutputTS<S,I,T,O>
DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>
Modifier and Type | Method and Description |
---|---|
default Word<O> |
computeStateOutput(S state,
Iterable<? extends I> input) |
computeOutput, computeSuffixOutput
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
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
Copyright © 2015. All rights reserved.