public interface DetSuffixOutputAutomaton<S,I,T,D> extends DetOutputAutomaton<S,I,T,D>, SuffixOutput<I,D>
DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>
Modifier and Type | Method and Description |
---|---|
default D |
computeOutput(Iterable<? extends I> input) |
D |
computeStateOutput(S state,
Iterable<? extends I> input) |
default D |
computeSuffixOutput(Iterable<? extends I> prefix,
Iterable<? extends I> suffix) |
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
default D computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,D>
default D computeOutput(Iterable<? extends I> input)
computeOutput
in interface Output<I,D>
computeOutput
in interface SuffixOutput<I,D>
Copyright © 2020. All rights reserved.