Uses of Class
de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
-
Packages that use ExtensibleLStarDFA Package Description de.learnlib.algorithm.lstar.dfa de.learnlib.algorithm.malerpnueli de.learnlib.algorithm.procedural.adapter.dfa de.learnlib.algorithm.rivestschapire -
-
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()
Creates a newExtensibleLStarDFA
instance with the configured parameters. -
Uses of ExtensibleLStarDFA in de.learnlib.algorithm.malerpnueli
Subclasses of ExtensibleLStarDFA 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. -
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>
ADFA
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.
-