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

Packages that use OTLearner.OTLearnerDFA

Package	Description
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.malerpnueli	This package (and sub-packages) provides the implementation of the L* variation based on the paper On the Learnability of Infinitary Regular Sets by Oded Maler and Amir Pnueli.
de.learnlib.algorithm.procedural.adapter.dfa
de.learnlib.algorithm.rivestschapire	This package (and sub-packages) provides the implementation of the L* variation based on the paper Inference of finite automata using homing sequences by Ronald L. Rivest and Robert E. Schapire.

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>

Uses of OTLearner.OTLearnerDFA in de.learnlib.algorithm.procedural.adapter.dfa

Classes in de.learnlib.algorithm.procedural.adapter.dfa that implement OTLearner.OTLearnerDFA

Modifier and Type	Class	Description
class	LStarBaseAdapterDFA<I>	Adapter for using ClassicLStarDFA as a procedural learner.
class	RivestSchapireAdapterDFA<I>	Adapter for using RivestSchapireDFA as a procedural learner.

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>