Uses of Interface
de.learnlib.datastructure.observationtable.OTLearner.OTLearnerMealy
-
-
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>
AMealyMachine
-based specialization of the extensible L* learner. -
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>
AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli. -
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>
AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.
-