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.lambda.lstar
de.learnlib.algorithm.lambda.ttt.dfa
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.malerpnueli
de.learnlib.algorithm.nlstar
de.learnlib.algorithm.observationpack.dfa
de.learnlib.algorithm.procedural.adapter.dfa
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.spa
de.learnlib.algorithm.rivestschapire
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> & net.automatalib.alphabet.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> & net.automatalib.alphabet.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.lambda.lstar

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

Modifier and Type	Class	Description
class	LLambdaDFA<I>

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

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

Modifier and Type	Class	Description
class	TTTLambdaDFA<I>

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>	A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.

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>	A DFA-based specialization of the AbstractOPLearner.

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	LLambdaAdapterDFA<I>	Adapter for using LLambdaDFA 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	RivestSchapireAdapterDFA<I>	Adapter for using RivestSchapireDFA as a procedural learner.
class	TTTAdapterDFA<I>	Adapter for using TTTLearnerDFA as a procedural learner.
class	TTTLambdaAdapterDFA<I>	Adapter for using TTTLambdaDFA 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>> & net.automatalib.alphabet.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> & net.automatalib.alphabet.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>	A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.

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>	A DFA-based specialization of AbstractTTTLearner.

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)	Delegates to RefinementCounterLearner(LearningAlgorithm).

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>