Uses of Interface
de.learnlib.algorithm.LearningAlgorithm.MealyLearner
-
-
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.aaar.explicit
Classes in de.learnlib.algorithm.aaar.explicit with type parameters of type LearningAlgorithm.MealyLearner Modifier and Type Class Description class
ExplicitAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,O> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AI,CI,O>
AMealyMachine
-specific refinement ofAbstractExplicitAAARLearner
. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.aaar.generic
Classes in de.learnlib.algorithm.aaar.generic with type parameters of type LearningAlgorithm.MealyLearner Modifier and Type Class Description class
GenericAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,O> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AI,CI,O>
AMealyMachine
-specific refinement ofAbstractGenericAAARLearner
. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.adt.learner
Classes in de.learnlib.algorithm.adt.learner that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
ADTLearner<I,O>
The main learning algorithm. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.dhc.mealy
Classes in de.learnlib.algorithm.dhc.mealy that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
MealyDHC<I,O>
The DHC learner. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.kv.mealy
Classes in de.learnlib.algorithm.kv.mealy that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
KearnsVaziraniMealy<I,O>
An adaption of the Kearns/Vazirani algorithm for Mealy machines. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.lambda.lstar
Classes in de.learnlib.algorithm.lambda.lstar that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
LLambdaMealy<I,O>
-
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.lambda.ttt.mealy
Classes in de.learnlib.algorithm.lambda.ttt.mealy that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
TTTLambdaMealy<I,O>
-
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.lsharp
Classes in de.learnlib.algorithm.lsharp that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
LSharpMealy<I,O>
Implementation of the L# algorithm forMealyMachine
s. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.lstar.mealy
Classes in de.learnlib.algorithm.lstar.mealy that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
ExtensibleLStarMealy<I,O>
AMealyMachine
-based specialization of the extensible L* learner. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.malerpnueli
Classes in de.learnlib.algorithm.malerpnueli that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
MalerPnueliMealy<I,O>
AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.observationpack.mealy
Classes in de.learnlib.algorithm.observationpack.mealy that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
OPLearnerMealy<I,O>
AMealyMachine
-based specialization of theAbstractOPLearner
. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.procedural.adapter.mealy
Classes in de.learnlib.algorithm.procedural.adapter.mealy that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
KearnsVaziraniAdapterMealy<I,O>
Adapter for usingKearnsVaziraniMealy
as a procedural learner.class
LLambdaAdapterMealy<I,O>
Adapter for usingLLambdaMealy
as a procedural learner.class
LStarBaseAdapterMealy<I,O>
Adapter for usingExtensibleLStarMealy
as a procedural learner.class
ObservationPackAdapterMealy<I,O>
Adapter for usingOPLearnerMealy
as a procedural learner.class
RivestSchapireAdapterMealy<I,O>
Adapter for usingRivestSchapireMealy
as a procedural learner.class
TTTAdapterMealy<I,O>
Adapter for usingTTTLearnerMealy
as a procedural learner.class
TTTLambdaAdapterMealy<I,O>
Adapter for usingTTTLambdaMealy
as a procedural learner. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.procedural.spmm
Classes in de.learnlib.algorithm.procedural.spmm with type parameters of type LearningAlgorithm.MealyLearner Modifier and Type Class Description class
SPMMLearner<I,O,L extends LearningAlgorithm.MealyLearner<SymbolWrapper<I>,O> & net.automatalib.alphabet.SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>
A learning algorithm forSPMM
s. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.rivestschapire
Classes in de.learnlib.algorithm.rivestschapire that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
RivestSchapireMealy<I,O>
AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.algorithm.ttt.mealy
Classes in de.learnlib.algorithm.ttt.mealy that implement LearningAlgorithm.MealyLearner Modifier and Type Class Description class
TTTLearnerMealy<I,O>
AMealyMachine
-based specialization ofAbstractTTTLearner
. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.datastructure.observationtable
Subinterfaces of LearningAlgorithm.MealyLearner in de.learnlib.datastructure.observationtable Modifier and Type Interface Description static interface
OTLearner.OTLearnerMealy<I,O>
-
Uses of LearningAlgorithm.MealyLearner in de.learnlib.filter.statistic.learner
Constructors in de.learnlib.filter.statistic.learner with parameters of type LearningAlgorithm.MealyLearner Constructor Description MealyRefinementCounterLearner(LearningAlgorithm.MealyLearner<I,O> learningAlgorithm)
Delegates toRefinementCounterLearner(LearningAlgorithm)
. -
Uses of LearningAlgorithm.MealyLearner in de.learnlib.util.mealy
Methods in de.learnlib.util.mealy that return LearningAlgorithm.MealyLearner Modifier and Type Method Description static <M extends net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,O>
LearningAlgorithm.MealyLearner<I,O>MealyUtil. wrapSymbolLearner(LearningAlgorithm<M,I,O> learner)
-