Uses of Interface
de.learnlib.datastructure.observationtable.OTLearner.OTLearnerMoore
-
Packages that use OTLearner.OTLearnerMoore Package Description 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.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.OTLearnerMoore in de.learnlib.algorithm.lstar.moore
Classes in de.learnlib.algorithm.lstar.moore that implement OTLearner.OTLearnerMoore Modifier and Type Class Description class
ExtensibleLStarMoore<I,O>
AMooreMachine
-based specialization of the extensible L* learner. -
Uses of OTLearner.OTLearnerMoore in de.learnlib.algorithm.malerpnueli
Classes in de.learnlib.algorithm.malerpnueli that implement OTLearner.OTLearnerMoore Modifier and Type Class Description class
MalerPnueliMoore<I,O>
-
Uses of OTLearner.OTLearnerMoore in de.learnlib.algorithm.rivestschapire
Classes in de.learnlib.algorithm.rivestschapire that implement OTLearner.OTLearnerMoore Modifier and Type Class Description class
RivestSchapireMoore<I,O>
-