@ParametersAreNonnullByDefault public interface StateOutputAutomaton<S,I,T,O> extends DetSuffixOutputAutomaton<S,I,T,Word<O>>, DeterministicStateOutputTS<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
trace
trace
getStateOutput
Copyright © 2019. All rights reserved.