Uses of Class
de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
-
-
Uses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.lstar.dfa
Subclasses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.lstar.dfa Modifier and Type Class Description class
ClassicLStarDFA<I>
Implementation of the L* algorithm by Dana Angluin.class
ExtensibleLStarDFA<I>
An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from Queries and Counterexamples". -
Uses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.lstar.mealy
Subclasses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.lstar.mealy Modifier and Type Class Description class
ClassicLStarMealy<I,O>
An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D.class
ExtensibleLStarMealy<I,O>
AMealyMachine
-based specialization of the extensible L* learner. -
Uses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.lstar.moore
Subclasses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.lstar.moore Modifier and Type Class Description class
ClassicLStarMoore<I,O>
AMooreMachine
-based specialization of the classic L* learner.class
ExtensibleLStarMoore<I,O>
AMooreMachine
-based specialization of the extensible L* learner. -
Uses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.malerpnueli
Subclasses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.malerpnueli Modifier and Type Class Description class
MalerPnueliDFA<I>
ADFA
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.class
MalerPnueliMealy<I,O>
AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.class
MalerPnueliMoore<I,O>
AMooreMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli. -
Uses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.procedural.adapter.dfa
Subclasses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.procedural.adapter.dfa Modifier and Type Class Description class
LStarBaseAdapterDFA<I>
Adapter for usingClassicLStarDFA
as a procedural learner.class
RivestSchapireAdapterDFA<I>
Adapter for usingRivestSchapireDFA
as a procedural learner. -
Uses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.procedural.adapter.mealy
Subclasses of AbstractExtensibleAutomatonLStar 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 AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.rivestschapire
Subclasses of AbstractExtensibleAutomatonLStar in de.learnlib.algorithm.rivestschapire Modifier and Type Class Description class
RivestSchapireDFA<I>
ADFA
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.class
RivestSchapireMealy<I,O>
AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.class
RivestSchapireMoore<I,O>
AMooreMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.
-