Uses of Interface
de.learnlib.algorithm.GlobalSuffixLearner.GlobalSuffixLearnerMealy
-
Packages that use GlobalSuffixLearner.GlobalSuffixLearnerMealy Package Description de.learnlib.algorithm.dhc.mealy de.learnlib.algorithm.lstar.mealy 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.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.GlobalSuffixLearnerMealy in de.learnlib.algorithm.dhc.mealy
Classes in de.learnlib.algorithm.dhc.mealy that implement GlobalSuffixLearner.GlobalSuffixLearnerMealy Modifier and Type Class Description class
MealyDHC<I,O>
-
Uses of GlobalSuffixLearner.GlobalSuffixLearnerMealy in de.learnlib.algorithm.lstar.mealy
Classes in de.learnlib.algorithm.lstar.mealy that implement GlobalSuffixLearner.GlobalSuffixLearnerMealy Modifier and Type Class Description class
ExtensibleLStarMealy<I,O>
-
Uses of GlobalSuffixLearner.GlobalSuffixLearnerMealy in de.learnlib.algorithm.malerpnueli
Classes in de.learnlib.algorithm.malerpnueli that implement GlobalSuffixLearner.GlobalSuffixLearnerMealy Modifier and Type Class Description class
MalerPnueliMealy<I,O>
-
Uses of GlobalSuffixLearner.GlobalSuffixLearnerMealy in de.learnlib.algorithm.procedural.adapter.mealy
Classes in de.learnlib.algorithm.procedural.adapter.mealy that implement GlobalSuffixLearner.GlobalSuffixLearnerMealy 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.GlobalSuffixLearnerMealy in de.learnlib.algorithm.rivestschapire
Classes in de.learnlib.algorithm.rivestschapire that implement GlobalSuffixLearner.GlobalSuffixLearnerMealy Modifier and Type Class Description class
RivestSchapireMealy<I,O>
-