net.automatalib.automata.concepts

Interface SuffixOutput<I,D>

Type Parameters:

I - input symbol type

D - output domain type

All Superinterfaces:

Output<I,D>

All Known Subinterfaces:

DetSuffixOutputAutomaton<S,I,T,D>, DFA<S,I>, FiniteStateAcceptor<S,I>, Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MooreMachine<S,I,T,O>, MutableDFA<S,I>, MutableFSA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, MutableNFA<S,I>, NFA<S,I>, OneSEVPA<L,I>, StateLocalInputMealyMachine<S,I,T,O>, StateOutputAutomaton<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>

All Known Implementing Classes:

AbstractBricsAutomaton, AbstractOneSEVPA, BricsDFA, BricsNFA, CompactDFA, CompactMealy, CompactMoore, CompactNFA, DefaultOneSEVPA, DFALassoImpl, FastDFA, FastMealy, FastMoore, FastNFA, MealyLassoImpl, ProductOneSEVPA

@ParametersAreNonnullByDefault
public interface SuffixOutput<I,D>
extends Output<I,D>

Feature for automata that compute a suffix-observable output function, i.e., they compute an output containing a part that can be attributed to a suffix of the input.

Note that this is a special case of the Output feature, as computeOutput(input) = computeSuffixOutput(epsilon, input).

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
default D	computeOutput(Iterable<? extends I> input)
D	computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)

Method Detail

computeOutput

@Nullable
default D computeOutput(Iterable<? extends I> input)

Specified by:

computeOutput in interface Output<I,D>

computeSuffixOutput

@Nullable
D computeSuffixOutput(Iterable<? extends I> prefix,
                                Iterable<? extends I> suffix)