Uses of Class
de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
-
Packages that use ExtensibleLStarMoore Package Description de.learnlib.algorithm.lstar.moore de.learnlib.algorithm.malerpnueli de.learnlib.algorithm.rivestschapire -
-
Uses of ExtensibleLStarMoore in de.learnlib.algorithm.lstar.moore
Methods in de.learnlib.algorithm.lstar.moore that return ExtensibleLStarMoore Modifier and Type Method Description ExtensibleLStarMoore<I,O>
ExtensibleLStarMooreBuilder. create()
Creates a newExtensibleLStarMoore
instance with the configured parameters. -
Uses of ExtensibleLStarMoore in de.learnlib.algorithm.malerpnueli
Subclasses of ExtensibleLStarMoore in de.learnlib.algorithm.malerpnueli Modifier and Type Class Description class
MalerPnueliMoore<I,O>
AMooreMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli. -
Uses of ExtensibleLStarMoore in de.learnlib.algorithm.rivestschapire
Subclasses of ExtensibleLStarMoore in de.learnlib.algorithm.rivestschapire Modifier and Type Class Description class
RivestSchapireMoore<I,O>
AMooreMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.
-