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
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
getSuccessors
trace
trace
getStateOutput
Copyright © 2020. All rights reserved.