Uses of Interface
de.learnlib.algorithm.GlobalSuffixLearner.GlobalSuffixLearnerDFA
-
Packages that use GlobalSuffixLearner.GlobalSuffixLearnerDFA Package Description de.learnlib.algorithm.lstar.dfa 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.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.GlobalSuffixLearnerDFA in de.learnlib.algorithm.lstar.dfa
Classes in de.learnlib.algorithm.lstar.dfa that implement GlobalSuffixLearner.GlobalSuffixLearnerDFA 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.GlobalSuffixLearnerDFA in de.learnlib.algorithm.malerpnueli
Classes in de.learnlib.algorithm.malerpnueli that implement GlobalSuffixLearner.GlobalSuffixLearnerDFA Modifier and Type Class Description class
MalerPnueliDFA<I>
-
Uses of GlobalSuffixLearner.GlobalSuffixLearnerDFA in de.learnlib.algorithm.procedural.adapter.dfa
Classes in de.learnlib.algorithm.procedural.adapter.dfa that implement GlobalSuffixLearner.GlobalSuffixLearnerDFA 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.GlobalSuffixLearnerDFA in de.learnlib.algorithm.rivestschapire
Classes in de.learnlib.algorithm.rivestschapire that implement GlobalSuffixLearner.GlobalSuffixLearnerDFA Modifier and Type Class Description class
RivestSchapireDFA<I>
-