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.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 new ExtensibleLStarDFA 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>	A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.

Uses of ExtensibleLStarDFA in de.learnlib.algorithm.rivestschapire

Subclasses of ExtensibleLStarDFA in de.learnlib.algorithm.rivestschapire

Modifier and Type	Class	Description
class	RivestSchapireDFA<I>	A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.