Uses of Class
de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
-
Packages that use ExtensibleLStarMealy Package Description de.learnlib.algorithm.lstar.mealy de.learnlib.algorithm.malerpnueli de.learnlib.algorithm.procedural.adapter.mealy de.learnlib.algorithm.rivestschapire -
-
Uses of ExtensibleLStarMealy in de.learnlib.algorithm.lstar.mealy
Methods in de.learnlib.algorithm.lstar.mealy that return ExtensibleLStarMealy Modifier and Type Method Description ExtensibleLStarMealy<I,O>
ExtensibleLStarMealyBuilder. create()
Creates a newExtensibleLStarMealy
instance with the configured parameters. -
Uses of ExtensibleLStarMealy in de.learnlib.algorithm.malerpnueli
Subclasses of ExtensibleLStarMealy in de.learnlib.algorithm.malerpnueli 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 ExtensibleLStarMealy in de.learnlib.algorithm.procedural.adapter.mealy
Subclasses of ExtensibleLStarMealy in de.learnlib.algorithm.procedural.adapter.mealy 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 ExtensibleLStarMealy in de.learnlib.algorithm.rivestschapire
Subclasses of ExtensibleLStarMealy in de.learnlib.algorithm.rivestschapire 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.
-