Uses of Class
de.learnlib.algorithm.lstar.AbstractLStar

Packages that use AbstractLStar

Package	Description
de.learnlib.algorithm.lstar
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.lstar.mealy
de.learnlib.algorithm.lstar.moore
de.learnlib.algorithm.malerpnueli
de.learnlib.algorithm.rivestschapire

Uses of AbstractLStar in de.learnlib.algorithm.lstar

Subclasses of AbstractLStar in de.learnlib.algorithm.lstar

Modifier and Type	Class	Description
class	AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.alphabet.SupportsGrowingAlphabet<I>>	Abstract base class for algorithms that produce (subclasses of) MutableDeterministic automata.
class	AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.alphabet.SupportsGrowingAlphabet<I>>

Uses of AbstractLStar in de.learnlib.algorithm.lstar.dfa

Subclasses of AbstractLStar 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 AbstractLStar in de.learnlib.algorithm.lstar.mealy

Subclasses of AbstractLStar 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>	A MealyMachine-based specialization of the extensible L* learner.

Uses of AbstractLStar in de.learnlib.algorithm.lstar.moore

Subclasses of AbstractLStar in de.learnlib.algorithm.lstar.moore

Modifier and Type	Class	Description
class	ClassicLStarMoore<I,O>	A MooreMachine-based specialization of the classic L* learner.
class	ExtensibleLStarMoore<I,O>	A MooreMachine-based specialization of the extensible L* learner.

Uses of AbstractLStar in de.learnlib.algorithm.malerpnueli

Subclasses of AbstractLStar 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.
class	MalerPnueliMealy<I,O>	A MealyMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.
class	MalerPnueliMoore<I,O>	A MooreMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.

Uses of AbstractLStar in de.learnlib.algorithm.rivestschapire

Subclasses of AbstractLStar 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.
class	RivestSchapireMealy<I,O>	A MealyMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.
class	RivestSchapireMoore<I,O>	A MooreMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.