Uses of Interface
de.learnlib.algorithm.LearningAlgorithm
-
-
Uses of LearningAlgorithm in de.learnlib.algorithm
Subinterfaces of LearningAlgorithm in de.learnlib.algorithm Modifier and Type Interface Description interface
GlobalSuffixLearner<M,I,D>
Common interface for learning algorithms that use a global suffix set.static interface
GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>
static interface
GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>
static interface
LearningAlgorithm.DFALearner<I>
static interface
LearningAlgorithm.MealyLearner<I,O>
static interface
LearningAlgorithm.MooreLearner<I,O>
static interface
LearningAlgorithm.NFALearner<I>
-
Uses of LearningAlgorithm in de.learnlib.algorithm.aaar
Classes in de.learnlib.algorithm.aaar with type parameters of type LearningAlgorithm Modifier and Type Class Description class
AbstractAAARLearner<L extends LearningAlgorithm<CM,CI,D> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>
Base implementation of the learner presented in "Automata Learning with Automated Alphabet Abstraction Refinement" by Howar et al.Classes in de.learnlib.algorithm.aaar that implement LearningAlgorithm Modifier and Type Class Description class
AbstractAAARLearner<L extends LearningAlgorithm<CM,CI,D> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>
Base implementation of the learner presented in "Automata Learning with Automated Alphabet Abstraction Refinement" by Howar et al. -
Uses of LearningAlgorithm in de.learnlib.algorithm.aaar.explicit
Classes in de.learnlib.algorithm.aaar.explicit with type parameters of type LearningAlgorithm Modifier and Type Class Description class
AbstractExplicitAAARLearner<L extends LearningAlgorithm<CM,CI,D> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>
An "explicit" refinement of theAbstractAAARLearner
.Classes in de.learnlib.algorithm.aaar.explicit that implement LearningAlgorithm Modifier and Type Class Description class
AbstractExplicitAAARLearner<L extends LearningAlgorithm<CM,CI,D> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>
An "explicit" refinement of theAbstractAAARLearner
.class
ExplicitAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AI,CI>
ADFA
-specific refinement ofAbstractExplicitAAARLearner
.class
ExplicitAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,O> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AI,CI,O>
AMealyMachine
-specific refinement ofAbstractExplicitAAARLearner
.class
ExplicitAAARLearnerMoore<L extends LearningAlgorithm.MooreLearner<CI,O> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AI,CI,O>
ALearningAlgorithm.MooreLearner
-specific refinement ofAbstractExplicitAAARLearner
. -
Uses of LearningAlgorithm in de.learnlib.algorithm.aaar.generic
Classes in de.learnlib.algorithm.aaar.generic with type parameters of type LearningAlgorithm Modifier and Type Class Description class
AbstractGenericAAARLearner<L extends LearningAlgorithm<CM,CI,D> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>
A "generic" refinement of theAbstractAAARLearner
.Classes in de.learnlib.algorithm.aaar.generic that implement LearningAlgorithm Modifier and Type Class Description class
AbstractGenericAAARLearner<L extends LearningAlgorithm<CM,CI,D> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AM,CM,AI,CI,D>
A "generic" refinement of theAbstractAAARLearner
.class
GenericAAARLearnerDFA<L extends LearningAlgorithm.DFALearner<CI> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AI,CI>
ADFA
-specific refinement ofAbstractGenericAAARLearner
.class
GenericAAARLearnerMealy<L extends LearningAlgorithm.MealyLearner<CI,O> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AI,CI,O>
AMealyMachine
-specific refinement ofAbstractGenericAAARLearner
.class
GenericAAARLearnerMoore<L extends LearningAlgorithm.MooreLearner<CI,O> & net.automatalib.alphabet.SupportsGrowingAlphabet<CI>,AI,CI,O>
AMooreMachine
-specific refinement ofAbstractGenericAAARLearner
. -
Uses of LearningAlgorithm in de.learnlib.algorithm.adt.learner
Classes in de.learnlib.algorithm.adt.learner that implement LearningAlgorithm Modifier and Type Class Description class
ADTLearner<I,O>
The main learning algorithm. -
Uses of LearningAlgorithm in de.learnlib.algorithm.dhc.mealy
Classes in de.learnlib.algorithm.dhc.mealy that implement LearningAlgorithm Modifier and Type Class Description class
MealyDHC<I,O>
The DHC learner. -
Uses of LearningAlgorithm in de.learnlib.algorithm.kv.dfa
Classes in de.learnlib.algorithm.kv.dfa that implement LearningAlgorithm Modifier and Type Class Description class
KearnsVaziraniDFA<I>
The Kearns/Vazirani algorithm for learning DFA, as described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani. -
Uses of LearningAlgorithm in de.learnlib.algorithm.kv.mealy
Classes in de.learnlib.algorithm.kv.mealy that implement LearningAlgorithm Modifier and Type Class Description class
KearnsVaziraniMealy<I,O>
An adaption of the Kearns/Vazirani algorithm for Mealy machines. -
Uses of LearningAlgorithm in de.learnlib.algorithm.lambda.lstar
Classes in de.learnlib.algorithm.lambda.lstar that implement LearningAlgorithm Modifier and Type Class Description class
LLambdaDFA<I>
class
LLambdaMealy<I,O>
-
Uses of LearningAlgorithm in de.learnlib.algorithm.lambda.ttt
Classes in de.learnlib.algorithm.lambda.ttt that implement LearningAlgorithm Modifier and Type Class Description class
AbstractTTTLambda<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>,I,D>
-
Uses of LearningAlgorithm in de.learnlib.algorithm.lambda.ttt.dfa
Classes in de.learnlib.algorithm.lambda.ttt.dfa that implement LearningAlgorithm Modifier and Type Class Description class
TTTLambdaDFA<I>
-
Uses of LearningAlgorithm in de.learnlib.algorithm.lambda.ttt.mealy
Classes in de.learnlib.algorithm.lambda.ttt.mealy that implement LearningAlgorithm Modifier and Type Class Description class
TTTLambdaMealy<I,O>
-
Uses of LearningAlgorithm in de.learnlib.algorithm.lsharp
Classes in de.learnlib.algorithm.lsharp that implement LearningAlgorithm Modifier and Type Class Description class
LSharpMealy<I,O>
Implementation of the L# algorithm forMealyMachine
s. -
Uses of LearningAlgorithm in de.learnlib.algorithm.lstar
Classes in de.learnlib.algorithm.lstar that implement LearningAlgorithm 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 LearningAlgorithm in de.learnlib.algorithm.lstar.dfa
Classes in de.learnlib.algorithm.lstar.dfa that implement LearningAlgorithm 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 LearningAlgorithm in de.learnlib.algorithm.lstar.mealy
Classes in de.learnlib.algorithm.lstar.mealy that implement LearningAlgorithm 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>
AMealyMachine
-based specialization of the extensible L* learner. -
Uses of LearningAlgorithm in de.learnlib.algorithm.lstar.moore
Classes in de.learnlib.algorithm.lstar.moore that implement LearningAlgorithm Modifier and Type Class Description class
ClassicLStarMoore<I,O>
AMooreMachine
-based specialization of the classic L* learner.class
ExtensibleLStarMoore<I,O>
AMooreMachine
-based specialization of the extensible L* learner. -
Uses of LearningAlgorithm in de.learnlib.algorithm.malerpnueli
Classes in de.learnlib.algorithm.malerpnueli that implement LearningAlgorithm 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.class
MalerPnueliMealy<I,O>
AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.class
MalerPnueliMoore<I,O>
AMooreMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli. -
Uses of LearningAlgorithm in de.learnlib.algorithm.nlstar
Classes in de.learnlib.algorithm.nlstar that implement LearningAlgorithm Modifier and Type Class Description class
NLStarLearner<I>
The NL* learner. -
Uses of LearningAlgorithm in de.learnlib.algorithm.observationpack
Classes in de.learnlib.algorithm.observationpack that implement LearningAlgorithm Modifier and Type Class Description class
AbstractOPLearner<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>,I,D,SP,TP>
-
Uses of LearningAlgorithm in de.learnlib.algorithm.observationpack.dfa
Classes in de.learnlib.algorithm.observationpack.dfa that implement LearningAlgorithm Modifier and Type Class Description class
OPLearnerDFA<I>
ADFA
-based specialization of theAbstractOPLearner
. -
Uses of LearningAlgorithm in de.learnlib.algorithm.observationpack.mealy
Classes in de.learnlib.algorithm.observationpack.mealy that implement LearningAlgorithm Modifier and Type Class Description class
OPLearnerMealy<I,O>
AMealyMachine
-based specialization of theAbstractOPLearner
. -
Uses of LearningAlgorithm in de.learnlib.algorithm.observationpack.moore
Classes in de.learnlib.algorithm.observationpack.moore that implement LearningAlgorithm Modifier and Type Class Description class
OPLearnerMoore<I,O>
AMooreMachine
-based specialization of theAbstractOPLearner
. -
Uses of LearningAlgorithm in de.learnlib.algorithm.observationpack.vpa
Classes in de.learnlib.algorithm.observationpack.vpa that implement LearningAlgorithm Modifier and Type Class Description class
AbstractVPALearner<I>
class
OPLearnerVPA<I>
ASEVPA
-based adoption of the "observation pack" algorithm. -
Uses of LearningAlgorithm in de.learnlib.algorithm.procedural.adapter.dfa
Classes in de.learnlib.algorithm.procedural.adapter.dfa that implement LearningAlgorithm Modifier and Type Class Description class
KearnsVaziraniAdapterDFA<I>
Adapter for usingKearnsVaziraniDFA
as a procedural learner.class
LLambdaAdapterDFA<I>
Adapter for usingLLambdaDFA
as a procedural learner.class
LStarBaseAdapterDFA<I>
Adapter for usingClassicLStarDFA
as a procedural learner.class
ObservationPackAdapterDFA<I>
Adapter for usingOPLearnerDFA
as a procedural learner.class
RivestSchapireAdapterDFA<I>
Adapter for usingRivestSchapireDFA
as a procedural learner.class
TTTAdapterDFA<I>
Adapter for usingTTTLearnerDFA
as a procedural learner.class
TTTLambdaAdapterDFA<I>
Adapter for usingTTTLambdaDFA
as a procedural learner. -
Uses of LearningAlgorithm in de.learnlib.algorithm.procedural.adapter.mealy
Classes in de.learnlib.algorithm.procedural.adapter.mealy that implement LearningAlgorithm 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 in de.learnlib.algorithm.procedural.sba
Classes in de.learnlib.algorithm.procedural.sba that implement LearningAlgorithm Modifier and Type Class Description class
SBALearner<I,L extends LearningAlgorithm.DFALearner<SymbolWrapper<I>> & net.automatalib.alphabet.SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>
A learning algorithm forSBA
s. -
Uses of LearningAlgorithm in de.learnlib.algorithm.procedural.spa
Classes in de.learnlib.algorithm.procedural.spa that implement LearningAlgorithm Modifier and Type Class Description class
SPALearner<I,L extends LearningAlgorithm.DFALearner<I> & net.automatalib.alphabet.SupportsGrowingAlphabet<I> & AccessSequenceTransformer<I>>
A learning algorithm forSPA
s. -
Uses of LearningAlgorithm in de.learnlib.algorithm.procedural.spmm
Classes in de.learnlib.algorithm.procedural.spmm that implement LearningAlgorithm 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 in de.learnlib.algorithm.rivestschapire
Classes in de.learnlib.algorithm.rivestschapire that implement LearningAlgorithm 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.class
RivestSchapireMealy<I,O>
AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.class
RivestSchapireMoore<I,O>
AMooreMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire. -
Uses of LearningAlgorithm in de.learnlib.algorithm.ttt.base
Classes in de.learnlib.algorithm.ttt.base that implement LearningAlgorithm Modifier and Type Class Description class
AbstractTTTLearner<A,I,D>
The TTT learning algorithm for generic automata. -
Uses of LearningAlgorithm in de.learnlib.algorithm.ttt.dfa
Classes in de.learnlib.algorithm.ttt.dfa that implement LearningAlgorithm Modifier and Type Class Description class
PrefixTTTLearnerDFA<I>
class
TTTLearnerDFA<I>
ADFA
-based specialization ofAbstractTTTLearner
. -
Uses of LearningAlgorithm in de.learnlib.algorithm.ttt.mealy
Classes in de.learnlib.algorithm.ttt.mealy that implement LearningAlgorithm Modifier and Type Class Description class
TTTLearnerMealy<I,O>
AMealyMachine
-based specialization ofAbstractTTTLearner
. -
Uses of LearningAlgorithm in de.learnlib.algorithm.ttt.moore
Classes in de.learnlib.algorithm.ttt.moore that implement LearningAlgorithm Modifier and Type Class Description class
TTTLearnerMoore<I,O>
AMooreMachine
-based specialization ofAbstractTTTLearner
. -
Uses of LearningAlgorithm in de.learnlib.algorithm.ttt.vpa
Classes in de.learnlib.algorithm.ttt.vpa that implement LearningAlgorithm Modifier and Type Class Description class
TTTLearnerVPA<I>
ASEVPA
-based adoption of the "TTT" algorithm. -
Uses of LearningAlgorithm in de.learnlib.datastructure.observationtable
Subinterfaces of LearningAlgorithm 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>
-
Uses of LearningAlgorithm in de.learnlib.filter.statistic.learner
Classes in de.learnlib.filter.statistic.learner that implement LearningAlgorithm Modifier and Type Class Description class
DFARefinementCounterLearner<I>
A type-specific refinement ofRefinementCounterLearner
.class
MealyRefinementCounterLearner<I,O>
A type-specific refinement ofRefinementCounterLearner
.class
MooreRefinementCounterLearner<I,O>
A type-specific refinement ofRefinementCounterLearner
.class
RefinementCounterLearner<M,I,D>
Counts the number of hypothesis refinements.Constructors in de.learnlib.filter.statistic.learner with parameters of type LearningAlgorithm Constructor Description RefinementCounterLearner(LearningAlgorithm<M,I,D> learningAlgorithm)
-
Uses of LearningAlgorithm in de.learnlib.statistic
Subinterfaces of LearningAlgorithm in de.learnlib.statistic Modifier and Type Interface Description interface
StatisticLearner<M,I,D>
Common interface for learners keeping statistics.static interface
StatisticLearner.DFAStatisticLearner<I>
static interface
StatisticLearner.MealyStatisticLearner<I,O>
static interface
StatisticLearner.MooreStatisticLearner<I,O>
-
Uses of LearningAlgorithm in de.learnlib.testsupport
Classes in de.learnlib.testsupport with type parameters of type LearningAlgorithm Modifier and Type Class Description class
AbstractGrowingAlphabetDFATest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>>
class
AbstractGrowingAlphabetMealyTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>>
class
AbstractGrowingAlphabetMooreTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>>
class
AbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,OR,I,D>
Simple (abstract super) test class that checks the basic workflow of a learning algorithm that implementsSupportsGrowingAlphabet
.class
AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,T>
class
AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,T>
class
AbstractResumableLearnerMooreTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,T>
class
AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,OR,I,D,T>
Test class that checks the workflow of a learning algorithm that implementsResumable
.Methods in de.learnlib.testsupport with type parameters of type LearningAlgorithm Modifier and Type Method Description static <L extends LearningAlgorithm<? extends net.automatalib.automaton.transducer.MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,net.automatalib.word.Word<String>>>
LVisualizationUtils. runExperiment(BiFunction<net.automatalib.alphabet.Alphabet<ExampleCoffeeMachine.Input>,SUL<ExampleCoffeeMachine.Input,String>,L> builder)
-
Uses of LearningAlgorithm in de.learnlib.testsupport.it.learner
Methods in de.learnlib.testsupport.it.learner that return LearningAlgorithm Modifier and Type Method Description LearningAlgorithm<? extends M,I,D>
LearnerVariant. getLearner()
Methods in de.learnlib.testsupport.it.learner with parameters of type LearningAlgorithm Modifier and Type Method Description void
LearnerVariantList. addLearnerVariant(String name, LearningAlgorithm<? extends M,I,D> learner)
Adds a learner variant with the default maximum number of rounds (i.e., the size of the target automaton) to the list.void
LearnerVariantList. addLearnerVariant(String name, LearningAlgorithm<? extends M,I,D> learner, int maxRounds)
Adds a learner variant with a given maximum number of rounds to the list.void
LearnerVariantListImpl. addLearnerVariant(String name, LearningAlgorithm<? extends M,I,D> learner)
void
LearnerVariantListImpl. addLearnerVariant(String name, LearningAlgorithm<? extends M,I,D> learner, int maxRounds)
void
LearnerVariantListImpl.MealySymLearnerVariantListImpl. addLearnerVariant(String name, LearningAlgorithm<? extends net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,O> learner)
void
LearnerVariantListImpl.MealySymLearnerVariantListImpl. addLearnerVariant(String name, LearningAlgorithm<? extends net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,O> learner, int maxRounds)
void
LearnerVariantListImpl.MooreSymLearnerVariantListImpl. addLearnerVariant(String name, LearningAlgorithm<? extends net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>,I,O> learner)
void
LearnerVariantListImpl.MooreSymLearnerVariantListImpl. addLearnerVariant(String name, LearningAlgorithm<? extends net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>,I,O> learner, int maxRounds)
-
Uses of LearningAlgorithm in de.learnlib.util
Constructors in de.learnlib.util with parameters of type LearningAlgorithm Constructor Description DFAExperiment(LearningAlgorithm<? extends net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean> learningAlgorithm, EquivalenceOracle<? super net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean> equivalenceAlgorithm, net.automatalib.alphabet.Alphabet<I> inputs)
Experiment(LearningAlgorithm<? extends A,I,D> learningAlgorithm, EquivalenceOracle<? super A,I,D> equivalenceAlgorithm, net.automatalib.alphabet.Alphabet<I> inputs)
MealyExperiment(LearningAlgorithm<? extends net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>> learningAlgorithm, EquivalenceOracle<? super net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>> equivalenceAlgorithm, net.automatalib.alphabet.Alphabet<I> inputs)
MooreExperiment(LearningAlgorithm<? extends net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>,I,net.automatalib.word.Word<O>> learningAlgorithm, EquivalenceOracle<? super net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>,I,net.automatalib.word.Word<O>> equivalenceAlgorithm, net.automatalib.alphabet.Alphabet<I> inputs)
-
Uses of LearningAlgorithm in de.learnlib.util.mealy
Methods in de.learnlib.util.mealy with parameters of type LearningAlgorithm 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)
-
Uses of LearningAlgorithm in de.learnlib.util.moore
Methods in de.learnlib.util.moore with parameters of type LearningAlgorithm Modifier and Type Method Description static <M extends net.automatalib.automaton.transducer.MooreMachine<?,I,?,O>,I,O>
LearningAlgorithm.MooreLearner<I,O>MooreUtil. wrapSymbolLearner(LearningAlgorithm<M,I,O> learner)
-
Uses of LearningAlgorithm in de.learnlib.util.nfa
Classes in de.learnlib.util.nfa that implement LearningAlgorithm Modifier and Type Class Description class
NFALearnerWrapper<I>
Constructors in de.learnlib.util.nfa with parameters of type LearningAlgorithm Constructor Description NFALearnerWrapper(net.automatalib.alphabet.Alphabet<I> alphabet, LearningAlgorithm<? extends net.automatalib.automaton.fsa.NFA<?,I>,I,Boolean> nfaLearner)
-