Module de.learnlib.datastructure

Package de.learnlib.datastructure.observationtable

Interface OTLearner.OTLearnerDFA<I>

All Superinterfaces:

LearningAlgorithm<DFA<?,I>,I,Boolean>, LearningAlgorithm.DFALearner<I>, ObservationTableFeature<I,Boolean>, OTLearner<DFA<?,I>,I,Boolean>

All Known Implementing Classes:

ClassicLStarDFA, ExtensibleLStarDFA, LLambdaDFA, MalerPnueliDFA, RivestSchapireDFA

Enclosing interface:

OTLearner<M,I,D>

public static interface OTLearner.OTLearnerDFA<I>
extends LearningAlgorithm.DFALearner<I>, OTLearner<DFA<?,I>,I,Boolean>

Nested Class Summary

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

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

Nested classes/interfaces inherited from interface de.learnlib.datastructure.observationtable.OTLearner

OTLearner.OTLearnerDFA<I>, OTLearner.OTLearnerMealy<I,O>, OTLearner.OTLearnerMoore<I,O>

Method Summary

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

getHypothesisModel, refineHypothesis, startLearning

Methods inherited from interface de.learnlib.datastructure.observationtable.ObservationTableFeature

getObservationTable