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