Uses of Interface
de.learnlib.algorithm.GlobalSuffixLearner
-
Packages that use GlobalSuffixLearner Package Description de.learnlib.algorithm This package (including sub-packages) contains the basic interfaces and classes of learning algorithms of LearnLib.de.learnlib.algorithm.dhc.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 theL* 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.procedural.adapter.mealy de.learnlib.algorithm.rivestschapire This package (and sub-packages) provides the implementation of theL* variation
based on the paper Inference of finite automata using homing sequences by Ronald L. Rivest and Robert E. Schapire. -
-
Uses of GlobalSuffixLearner in de.learnlib.algorithm
Subinterfaces of GlobalSuffixLearner in de.learnlib.algorithm Modifier and Type Interface Description static interface
GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>
static interface
GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>
-
Uses of GlobalSuffixLearner in de.learnlib.algorithm.dhc.mealy
Classes in de.learnlib.algorithm.dhc.mealy that implement GlobalSuffixLearner Modifier and Type Class Description class
MealyDHC<I,O>
-
Uses of GlobalSuffixLearner in de.learnlib.algorithm.lstar
Classes in de.learnlib.algorithm.lstar that implement GlobalSuffixLearner Modifier and Type Class Description class
AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>>
Abstract base class for algorithms that produce (subclasses of)MutableDeterministic
automata.class
AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>>
class
AbstractLStar<A,I,D>
An abstract base class for L*-style algorithms. -
Uses of GlobalSuffixLearner in de.learnlib.algorithm.lstar.dfa
Classes in de.learnlib.algorithm.lstar.dfa that implement GlobalSuffixLearner 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 GlobalSuffixLearner in de.learnlib.algorithm.lstar.mealy
Classes in de.learnlib.algorithm.lstar.mealy that implement GlobalSuffixLearner Modifier and Type Class Description class
ClassicLStarMealy<I,O>
An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D.class
ExtensibleLStarMealy<I,O>
-
Uses of GlobalSuffixLearner in de.learnlib.algorithm.lstar.moore
Classes in de.learnlib.algorithm.lstar.moore that implement GlobalSuffixLearner Modifier and Type Class Description class
ClassicLStarMoore<I,O>
AMooreMachine
-based specialization of the classic L* learner.class
ExtensibleLStarMoore<I,O>
AMooreMachine
-based specialization of the extensible L* learner. -
Uses of GlobalSuffixLearner in de.learnlib.algorithm.malerpnueli
Classes in de.learnlib.algorithm.malerpnueli that implement GlobalSuffixLearner Modifier and Type Class Description class
MalerPnueliDFA<I>
class
MalerPnueliMealy<I,O>
class
MalerPnueliMoore<I,O>
-
Uses of GlobalSuffixLearner in de.learnlib.algorithm.procedural.adapter.dfa
Classes in de.learnlib.algorithm.procedural.adapter.dfa that implement GlobalSuffixLearner Modifier and Type Class Description class
LStarBaseAdapterDFA<I>
Adapter for usingClassicLStarDFA
as a procedural learner.class
RivestSchapireAdapterDFA<I>
Adapter for usingRivestSchapireDFA
as a procedural learner. -
Uses of GlobalSuffixLearner in de.learnlib.algorithm.procedural.adapter.mealy
Classes in de.learnlib.algorithm.procedural.adapter.mealy that implement GlobalSuffixLearner Modifier and Type Class Description class
LStarBaseAdapterMealy<I,O>
Adapter for usingExtensibleLStarMealy
as a procedural learner.class
RivestSchapireAdapterMealy<I,O>
Adapter for usingRivestSchapireMealy
as a procedural learner. -
Uses of GlobalSuffixLearner in de.learnlib.algorithm.rivestschapire
Classes in de.learnlib.algorithm.rivestschapire that implement GlobalSuffixLearner Modifier and Type Class Description class
RivestSchapireDFA<I>
class
RivestSchapireMealy<I,O>
class
RivestSchapireMoore<I,O>
-