Uses of Interface
de.learnlib.datastructure.observationtable.OTLearner.OTLearnerDFA

Packages that use OTLearner.OTLearnerDFA

Package	Description
de.learnlib.algorithm.lambda.lstar
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.malerpnueli
de.learnlib.algorithm.rivestschapire

Uses of OTLearner.OTLearnerDFA in de.learnlib.algorithm.lambda.lstar

Classes in de.learnlib.algorithm.lambda.lstar that implement OTLearner.OTLearnerDFA

Modifier and Type	Class	Description
class	LLambdaDFA<I>

Uses of OTLearner.OTLearnerDFA in de.learnlib.algorithm.lstar.dfa

Classes in de.learnlib.algorithm.lstar.dfa that implement OTLearner.OTLearnerDFA

Modifier and Type	Class	Description
class	ClassicLStarDFA<I>	Implementation of the L* algorithm by Dana Angluin.
class	ExtensibleLStarDFA<I>	An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from Queries and Counterexamples".

Uses of OTLearner.OTLearnerDFA in de.learnlib.algorithm.malerpnueli

Classes in de.learnlib.algorithm.malerpnueli that implement OTLearner.OTLearnerDFA

Modifier and Type	Class	Description
class	MalerPnueliDFA<I>	A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.

Uses of OTLearner.OTLearnerDFA in de.learnlib.algorithm.rivestschapire

Classes in de.learnlib.algorithm.rivestschapire that implement OTLearner.OTLearnerDFA

Modifier and Type	Class	Description
class	RivestSchapireDFA<I>	A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.