Uses of Interface
de.learnlib.algorithm.LearnerConstructor
-
Packages that use LearnerConstructor Package Description de.learnlib.algorithm.aaar This package (and sub-packages) provides the implementation of the AAAR learning algorithm as described in the paper Automata Learning with Automated Alphabet Abstraction Refinement by Falk Howar, Bernhard Steffen, and Maik Merten.de.learnlib.algorithm.aaar.explicit de.learnlib.algorithm.aaar.generic de.learnlib.algorithm.procedural.sba de.learnlib.algorithm.procedural.spa de.learnlib.algorithm.procedural.spmm -
-
Uses of LearnerConstructor in de.learnlib.algorithm.aaar
Constructors in de.learnlib.algorithm.aaar with parameters of type LearnerConstructor Constructor Description AbstractAAARLearner(LearnerConstructor<L,CI,D> learnerConstructor, MembershipOracle<CI,D> o)
-
Uses of LearnerConstructor in de.learnlib.algorithm.aaar.explicit
-
Uses of LearnerConstructor in de.learnlib.algorithm.aaar.generic
Constructors in de.learnlib.algorithm.aaar.generic with parameters of type LearnerConstructor Constructor Description AbstractGenericAAARLearner(LearnerConstructor<L,CI,D> learnerConstructor, MembershipOracle<CI,D> oracle, CI initialConcrete, Function<CI,AI> abstractor)
Constructor.GenericAAARLearnerDFA(LearnerConstructor<L,CI,Boolean> learnerConstructor, MembershipOracle<CI,Boolean> oracle, CI initialConcrete, Function<CI,AI> abstractor)
Constructor.GenericAAARLearnerMealy(LearnerConstructor<L,CI,Word<O>> learnerConstructor, MembershipOracle<CI,Word<O>> oracle, CI initialConcrete, Function<CI,AI> abstractor)
Constructor.GenericAAARLearnerMoore(LearnerConstructor<L,CI,Word<O>> learnerConstructor, MembershipOracle<CI,Word<O>> oracle, CI initialConcrete, Function<CI,AI> abstractor)
Constructor. -
Uses of LearnerConstructor in de.learnlib.algorithm.procedural.sba
Constructors in de.learnlib.algorithm.procedural.sba with parameters of type LearnerConstructor Constructor Description SBALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LearnerConstructor<L,SymbolWrapper<I>,Boolean> learnerConstructor)
Constructor parameters in de.learnlib.algorithm.procedural.sba with type arguments of type LearnerConstructor Constructor Description SBALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Boolean>> learnerConstructors, AcexAnalyzer analyzer, ATManager<I> atManager)
-
Uses of LearnerConstructor in de.learnlib.algorithm.procedural.spa
Constructors in de.learnlib.algorithm.procedural.spa with parameters of type LearnerConstructor Constructor Description SPALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LearnerConstructor<L,I,Boolean> learnerConstructor)
Constructor parameters in de.learnlib.algorithm.procedural.spa with type arguments of type LearnerConstructor Constructor Description SPALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, Mapping<I,LearnerConstructor<L,I,Boolean>> learnerConstructors, AcexAnalyzer analyzer, ATRManager<I> atrManager)
-
Uses of LearnerConstructor in de.learnlib.algorithm.procedural.spmm
Constructors in de.learnlib.algorithm.procedural.spmm with parameters of type LearnerConstructor Constructor Description SPMMLearner(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle<I,Word<O>> oracle, LearnerConstructor<L,SymbolWrapper<I>,Word<O>> learnerConstructor)
Constructor parameters in de.learnlib.algorithm.procedural.spmm with type arguments of type LearnerConstructor Constructor Description SPMMLearner(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle<I,Word<O>> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Word<O>>> learnerConstructors, ATManager<I,O> atManager)
-