Uses of Package
de.learnlib.algorithm

Packages that use de.learnlib.algorithm

Package	Description
de.learnlib.algorithm	This package (including sub-packages) contains the basic interfaces and classes of learning algorithms of LearnLib.
de.learnlib.algorithm.aaar	This package (and sub-packages) provides the implementation of the AAAR learning algorithm as described in the paper Automata Learning with Automated Alphabet Abstraction Refinement by Falk Howar, Bernhard Steffen, and Maik Merten.
de.learnlib.algorithm.aaar.explicit
de.learnlib.algorithm.aaar.generic
de.learnlib.algorithm.adt.learner
de.learnlib.algorithm.dhc.mealy
de.learnlib.algorithm.kv.dfa
de.learnlib.algorithm.kv.mealy
de.learnlib.algorithm.lstar	This package (and sub-packages) provides the implementation of the L* learning algorithm described in the paper Learning Regular Sets from Queries and Counterexamples by Dana Angluin as well as multiple variations thereof.
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.lstar.mealy
de.learnlib.algorithm.lstar.moore
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	This package (and sub-packages) provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis Active learning of interface programs by Falk Howar.
de.learnlib.algorithm.observationpack.dfa
de.learnlib.algorithm.observationpack.mealy
de.learnlib.algorithm.observationpack.moore
de.learnlib.algorithm.observationpack.vpa	This package (and sub-packages) provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.algorithm.oml.lstar
de.learnlib.algorithm.oml.ttt
de.learnlib.algorithm.oml.ttt.dfa
de.learnlib.algorithm.oml.ttt.mealy
de.learnlib.algorithm.ostia	This package (and sub-packages) provides the implementation of the "onward subsequential transducer inference algorithm" (OSTIA) learning algorithm as presented in the paper Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks by Jose Oncina, Pedro García, and Enrique Vidal.
de.learnlib.algorithm.procedural.adapter.dfa
de.learnlib.algorithm.procedural.adapter.mealy
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.spa
de.learnlib.algorithm.procedural.spmm
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.rpni	This package (and sub-packages) provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper Inferring regular languages in polynomial update time by Jose Oncina and Pedro García.
de.learnlib.algorithm.ttt.base
de.learnlib.algorithm.ttt.dfa
de.learnlib.algorithm.ttt.mealy
de.learnlib.algorithm.ttt.moore
de.learnlib.algorithm.ttt.vpa	This package (and sub-packages) provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.datastructure.observationtable
de.learnlib.filter.statistic.learner
de.learnlib.statistic
de.learnlib.testsupport	This package (including sub-packages) contains utility code for formalizing test-cases.
de.learnlib.testsupport.it.learner
de.learnlib.util	This package (and sub-packages) provide general utilities used throughout LearnLib.
de.learnlib.util.mealy
de.learnlib.util.moore
de.learnlib.util.nfa

Classes in de.learnlib.algorithm used by de.learnlib.algorithm

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
LearningAlgorithm	Basic interface for a model inference algorithm.
PassiveLearningAlgorithm
PassiveLearningAlgorithm.PassiveAcceptorLearner	Basic interface for passive learning algorithms that infer finite-state acceptors (DFAs or NFAs).

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.aaar

Class	Description
LearnerConstructor	A simplified view on the constructor of a LearningAlgorithm, that only requires an Alphabet definition and a MembershipOracle.
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.aaar.explicit

Class	Description
LearnerConstructor	A simplified view on the constructor of a LearningAlgorithm, that only requires an Alphabet definition and a MembershipOracle.
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner
LearningAlgorithm.MealyLearner
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.aaar.generic

Class	Description
LearnerConstructor	A simplified view on the constructor of a LearningAlgorithm, that only requires an Alphabet definition and a MembershipOracle.
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner
LearningAlgorithm.MealyLearner
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.adt.learner

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.dhc.mealy

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerMealy
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.kv.dfa

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.kv.mealy

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.lstar

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.lstar.dfa

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerDFA
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.lstar.mealy

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerMealy
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.lstar.moore

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.malerpnueli

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerDFA
GlobalSuffixLearner.GlobalSuffixLearnerMealy
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner
LearningAlgorithm.MealyLearner
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.nlstar

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner
LearningAlgorithm.NFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.observationpack

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.observationpack.dfa

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.observationpack.mealy

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.observationpack.moore

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.observationpack.vpa

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.oml.lstar

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.oml.ttt

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.oml.ttt.dfa

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.oml.ttt.mealy

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.ostia

Class	Description
PassiveLearningAlgorithm

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.procedural.adapter.dfa

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerDFA
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.procedural.adapter.mealy

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerMealy
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.procedural.sba

Class	Description
LearnerConstructor	A simplified view on the constructor of a LearningAlgorithm, that only requires an Alphabet definition and a MembershipOracle.
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.procedural.spa

Class	Description
LearnerConstructor	A simplified view on the constructor of a LearningAlgorithm, that only requires an Alphabet definition and a MembershipOracle.
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.procedural.spmm

Class	Description
LearnerConstructor	A simplified view on the constructor of a LearningAlgorithm, that only requires an Alphabet definition and a MembershipOracle.
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.rivestschapire

Class	Description
GlobalSuffixLearner	Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerDFA
GlobalSuffixLearner.GlobalSuffixLearnerMealy
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner
LearningAlgorithm.MealyLearner
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.rpni

Class	Description
PassiveLearningAlgorithm
PassiveLearningAlgorithm.PassiveAcceptorLearner	Basic interface for passive learning algorithms that infer finite-state acceptors (DFAs or NFAs).
PassiveLearningAlgorithm.PassiveDFALearner	Basic interface for passive learning algorithms that infer DFAs.
PassiveLearningAlgorithm.PassiveMealyLearner	Basic interface for passive learning algorithms that infer Mealy machines.
PassiveLearningAlgorithm.PassiveMooreLearner	Basic interface for passive learning algorithms that infer Moore machines.

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.ttt.base

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.ttt.dfa

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.ttt.mealy

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.ttt.moore

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.algorithm.ttt.vpa

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.datastructure.observationtable

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner
LearningAlgorithm.MealyLearner
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.filter.statistic.learner

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner
LearningAlgorithm.MealyLearner
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.statistic

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.testsupport

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.testsupport.it.learner

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
PassiveLearningAlgorithm

Classes in de.learnlib.algorithm used by de.learnlib.util

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.

Classes in de.learnlib.algorithm used by de.learnlib.util.mealy

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MealyLearner

Classes in de.learnlib.algorithm used by de.learnlib.util.moore

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.MooreLearner

Classes in de.learnlib.algorithm used by de.learnlib.util.nfa

Class	Description
LearningAlgorithm	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner