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