Uses of Class
de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
-
Packages that use ExtensibleLStarDFA Package Description de.learnlib.algorithm.lstar.dfa 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.procedural.adapter.dfa 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 ExtensibleLStarDFA in de.learnlib.algorithm.lstar.dfa
Subclasses of ExtensibleLStarDFA in de.learnlib.algorithm.lstar.dfa Modifier and Type Class Description class
ClassicLStarDFA<I>
Implementation of the L* algorithm by Dana Angluin.Methods in de.learnlib.algorithm.lstar.dfa that return ExtensibleLStarDFA Modifier and Type Method Description ExtensibleLStarDFA<I>
ExtensibleLStarDFABuilder. create()
-
Uses of ExtensibleLStarDFA in de.learnlib.algorithm.malerpnueli
Subclasses of ExtensibleLStarDFA in de.learnlib.algorithm.malerpnueli Modifier and Type Class Description class
MalerPnueliDFA<I>
-
Uses of ExtensibleLStarDFA in de.learnlib.algorithm.procedural.adapter.dfa
Subclasses of ExtensibleLStarDFA 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 ExtensibleLStarDFA in de.learnlib.algorithm.rivestschapire
Subclasses of ExtensibleLStarDFA in de.learnlib.algorithm.rivestschapire Modifier and Type Class Description class
RivestSchapireDFA<I>
-