de.learnlib.algorithms.features.globalsuffixes

Interface GlobalSuffixLearner<M,I,D>

Type Parameters:

M - hypothesis model type

I - input symbol type

D - output domain type

All Superinterfaces:

GlobalSuffixFeature<I>, LearningAlgorithm<M,I,D>

All Known Subinterfaces:

GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>

All Known Implementing Classes:

AbstractAutomatonLStar, AbstractLStar, BaselineLStar, ClassicLStarMealy, ExtensibleAutomatonLStar, ExtensibleLStarDFA, ExtensibleLStarMealy, MalerPnueliDFA, MalerPnueliMealy, MealyDHC, RivestSchapireDFA, RivestSchapireMealy

public interface GlobalSuffixLearner<M,I,D>
extends LearningAlgorithm<M,I,D>, GlobalSuffixFeature<I>

Common interface for learning algorithms that use a global suffix set. These are mostly algorithms using an observation table, such as Dana Angluin's L* and its derivatives.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>
static interface	GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>

Nested classes/interfaces inherited from interface de.learnlib.api.LearningAlgorithm

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>

Method Summary

Methods inherited from interface de.learnlib.api.LearningAlgorithm

getHypothesisModel, refineHypothesis, startLearning

Methods inherited from interface de.learnlib.algorithms.features.globalsuffixes.GlobalSuffixFeature

addGlobalSuffixes, getGlobalSuffixes