Uses of Interface
de.learnlib.algorithm.LearningAlgorithm.DFALearner

Packages that use LearningAlgorithm.DFALearner

Package	Description
de.learnlib.algorithm.aaar.explicit
de.learnlib.algorithm.aaar.generic
de.learnlib.algorithm.kv.dfa
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.nlstar	This package (and sub-packages) provides the implementation of the NL* learning algorithm as described in the paper Angluin-Style Learning of NFA by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.
de.learnlib.algorithm.observationpack.dfa
de.learnlib.algorithm.oml.lstar
de.learnlib.algorithm.oml.ttt.dfa
de.learnlib.algorithm.procedural.adapter.dfa
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.spa
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.
de.learnlib.algorithm.ttt.dfa
de.learnlib.datastructure.observationtable
de.learnlib.filter.statistic.learner
de.learnlib.util.nfa

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.aaar.explicit

Classes in de.learnlib.algorithm.aaar.explicit with type parameters of type LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	ExplicitAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & SupportsGrowingAlphabet<CI>,AI,CI>	A DFA-specific refinement of AbstractExplicitAAARLearner.

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.aaar.generic

Classes in de.learnlib.algorithm.aaar.generic with type parameters of type LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	GenericAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & SupportsGrowingAlphabet<CI>,AI,CI>	A DFA-specific refinement of AbstractGenericAAARLearner.

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.kv.dfa

Classes in de.learnlib.algorithm.kv.dfa that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	KearnsVaziraniDFA<I>	The Kearns/Vazirani algorithm for learning DFA, as described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.lstar.dfa

Classes in de.learnlib.algorithm.lstar.dfa that implement LearningAlgorithm.DFALearner

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 LearningAlgorithm.DFALearner in de.learnlib.algorithm.malerpnueli

Classes in de.learnlib.algorithm.malerpnueli that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	MalerPnueliDFA<I>

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.nlstar

Methods in de.learnlib.algorithm.nlstar that return LearningAlgorithm.DFALearner

Modifier and Type	Method	Description
LearningAlgorithm.DFALearner<I>	NLStarLearner.asDFALearner()	Retrieves a view of this learner as a DFA learner.

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.observationpack.dfa

Classes in de.learnlib.algorithm.observationpack.dfa that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	OPLearnerDFA<I>	Algorithm for learning DFA using the Discrimination Tree algorithm.

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.oml.lstar

Classes in de.learnlib.algorithm.oml.lstar that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	OptimalLStarDFA<I>

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.oml.ttt.dfa

Classes in de.learnlib.algorithm.oml.ttt.dfa that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	OptimalTTTDFA<I>

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.procedural.adapter.dfa

Classes in de.learnlib.algorithm.procedural.adapter.dfa that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	KearnsVaziraniAdapterDFA<I>	Adapter for using KearnsVaziraniDFA as a procedural learner.
class	LStarBaseAdapterDFA<I>	Adapter for using ClassicLStarDFA as a procedural learner.
class	ObservationPackAdapterDFA<I>	Adapter for using OPLearnerDFA as a procedural learner.
class	OptimalTTTAdapterDFA<I>	Adapter for using OptimalTTTDFA as a procedural learner.
class	RivestSchapireAdapterDFA<I>	Adapter for using RivestSchapireDFA as a procedural learner.
class	TTTAdapterDFA<I>	Adapter for using TTTLearnerDFA as a procedural learner.

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.procedural.sba

Classes in de.learnlib.algorithm.procedural.sba with type parameters of type LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	SBALearner<I,L extends LearningAlgorithm.DFALearner<SymbolWrapper<I>> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SBAs.

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.procedural.spa

Classes in de.learnlib.algorithm.procedural.spa with type parameters of type LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	SPALearner<I,L extends LearningAlgorithm.DFALearner<I> & SupportsGrowingAlphabet<I> & AccessSequenceTransformer<I>>	A learning algorithm for SPAs.

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.rivestschapire

Classes in de.learnlib.algorithm.rivestschapire that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	RivestSchapireDFA<I>

Uses of LearningAlgorithm.DFALearner in de.learnlib.algorithm.ttt.dfa

Classes in de.learnlib.algorithm.ttt.dfa that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	PrefixTTTLearnerDFA<I>
class	TTTLearnerDFA<I>

Uses of LearningAlgorithm.DFALearner in de.learnlib.datastructure.observationtable

Subinterfaces of LearningAlgorithm.DFALearner in de.learnlib.datastructure.observationtable

Modifier and Type	Interface	Description
static interface	OTLearner.OTLearnerDFA<I>

Uses of LearningAlgorithm.DFALearner in de.learnlib.filter.statistic.learner

Constructors in de.learnlib.filter.statistic.learner with parameters of type LearningAlgorithm.DFALearner

Constructor	Description
DFARefinementCounterLearner(LearningAlgorithm.DFALearner<I> learningAlgorithm)	This is an auto-generated constructor.

Uses of LearningAlgorithm.DFALearner in de.learnlib.util.nfa

Classes in de.learnlib.util.nfa that implement LearningAlgorithm.DFALearner

Modifier and Type	Class	Description
class	NFALearnerWrapper<I>