Module de.learnlib.api

Package de.learnlib

Interface AccessSequenceTransformer<I>

All Known Subinterfaces:

MutableObservationTable<I,D>, ObservationTable<I,D>

All Known Implementing Classes:

ADTHypothesis, GenericObservationTable, KearnsVaziraniAdapterDFA, KearnsVaziraniAdapterMealy, LLambdaAdapterDFA, LLambdaAdapterMealy, LStarBaseAdapterDFA, LStarBaseAdapterMealy, MealyDHC, ObservationPackAdapterDFA, ObservationPackAdapterMealy, OPLearnerHypothesis, RivestSchapireAdapterDFA, RivestSchapireAdapterMealy, SimpleObservationTable, TTTAdapterDFA, TTTAdapterMealy, TTTLambdaAdapterDFA, TTTLambdaAdapterMealy

public interface AccessSequenceTransformer<I>

Method Summary

Modifier and Type	Method	Description
default boolean	isAccessSequence(net.automatalib.word.Word<I> word)
default net.automatalib.word.Word<I>	longestASPrefix(net.automatalib.word.Word<I> word)
net.automatalib.word.Word<I>	transformAccessSequence(net.automatalib.word.Word<I> word)

Method Detail

transformAccessSequence

net.automatalib.word.Word<I> transformAccessSequence(net.automatalib.word.Word<I> word)

longestASPrefix

default net.automatalib.word.Word<I> longestASPrefix(net.automatalib.word.Word<I> word)

isAccessSequence

default boolean isAccessSequence(net.automatalib.word.Word<I> word)