Uses of Interface
de.learnlib.datastructure.observationtable.ObservationTableFeature

Packages that use ObservationTableFeature

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.procedural.adapter.dfa
de.learnlib.algorithm.procedural.adapter.mealy
de.learnlib.algorithm.rivestschapire
de.learnlib.datastructure.observationtable

Uses of ObservationTableFeature in de.learnlib.algorithm.lstar

Classes in de.learnlib.algorithm.lstar that implement ObservationTableFeature

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>>
class	AbstractLStar<A,I,D>	An abstract base class for L*-style algorithms.

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

Classes in de.learnlib.algorithm.lstar.dfa that implement ObservationTableFeature

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 ObservationTableFeature in de.learnlib.algorithm.lstar.mealy

Classes in de.learnlib.algorithm.lstar.mealy that implement ObservationTableFeature

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 ObservationTableFeature in de.learnlib.algorithm.lstar.moore

Classes in de.learnlib.algorithm.lstar.moore that implement ObservationTableFeature

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 ObservationTableFeature in de.learnlib.algorithm.malerpnueli

Classes in de.learnlib.algorithm.malerpnueli that implement ObservationTableFeature

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 ObservationTableFeature in de.learnlib.algorithm.procedural.adapter.dfa

Classes in de.learnlib.algorithm.procedural.adapter.dfa that implement ObservationTableFeature

Modifier and Type	Class	Description
class	LStarBaseAdapterDFA<I>	Adapter for using ClassicLStarDFA as a procedural learner.
class	RivestSchapireAdapterDFA<I>	Adapter for using RivestSchapireDFA as a procedural learner.

Uses of ObservationTableFeature in de.learnlib.algorithm.procedural.adapter.mealy

Classes in de.learnlib.algorithm.procedural.adapter.mealy that implement ObservationTableFeature

Modifier and Type	Class	Description
class	LStarBaseAdapterMealy<I,O>	Adapter for using ExtensibleLStarMealy as a procedural learner.
class	RivestSchapireAdapterMealy<I,O>	Adapter for using RivestSchapireMealy as a procedural learner.

Uses of ObservationTableFeature in de.learnlib.algorithm.rivestschapire

Classes in de.learnlib.algorithm.rivestschapire that implement ObservationTableFeature

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.

Uses of ObservationTableFeature in de.learnlib.datastructure.observationtable

Subinterfaces of ObservationTableFeature in de.learnlib.datastructure.observationtable

Modifier and Type	Interface	Description
interface	OTLearner<M,I,D>
static interface	OTLearner.OTLearnerDFA<I>
static interface	OTLearner.OTLearnerMealy<I,O>
static interface	OTLearner.OTLearnerMoore<I,O>