Uses of Interface
de.learnlib.oracle.MembershipOracle
-
-
Uses of MembershipOracle in de.learnlib.acex
Constructors in de.learnlib.acex with parameters of type MembershipOracle Constructor Description ClassicPrefixTransformAcex(Word<I> suffix, int length, MembershipOracle<I,D> oracle, SuffixOutput<I,D> hypOut, Function<Word<I>,Word<I>> asTransform)
ClassicPrefixTransformAcex(Word<I> suffix, MembershipOracle<I,D> oracle, SuffixOutput<I,D> hypOut, Function<Word<I>,Word<I>> asTransform)
MealyOutInconsPrefixTransformAcex(Word<I> suffix, MembershipOracle<I,Word<O>> oracle, Function<Word<I>,Word<I>> asTransform)
MooreOutInconsPrefixTransformAcex(Word<I> suffix, MembershipOracle<I,Word<O>> oracle, Function<Word<I>,Word<I>> asTransform)
OutInconsPrefixTransformAcex(Word<I> suffix, int length, MembershipOracle<I,D> oracle, Function<Word<I>,Word<I>> asTransform)
OutInconsPrefixTransformAcex(Word<I> suffix, MembershipOracle<I,D> oracle, Function<Word<I>,Word<I>> asTransform)
-
Uses of MembershipOracle in de.learnlib.algorithm
Methods in de.learnlib.algorithm with parameters of type MembershipOracle Modifier and Type Method Description L
LearnerConstructor. constructLearner(Alphabet<I> alphabet, MembershipOracle<I,D> oracle)
Construct the learner instance. -
Uses of MembershipOracle in de.learnlib.algorithm.aaar
Constructors in de.learnlib.algorithm.aaar with parameters of type MembershipOracle Constructor Description AbstractAAARLearner(LearnerConstructor<L,CI,D> learnerConstructor, MembershipOracle<CI,D> o)
-
Uses of MembershipOracle in de.learnlib.algorithm.aaar.abstraction
Constructors in de.learnlib.algorithm.aaar.abstraction with parameters of type MembershipOracle Constructor Description AbstractAbstractionTree(AI rootA, CI rootC, MembershipOracle<CI,D> o)
ExplicitAbstractionTree(AI rootA, CI rootC, MembershipOracle<CI,D> o, Function<AI,AI> incrementor)
GenericAbstractionTree(AI rootA, CI rootC, MembershipOracle<CI,D> o, Function<CI,AI> abstractor)
-
Uses of MembershipOracle in de.learnlib.algorithm.aaar.explicit
-
Uses of MembershipOracle in de.learnlib.algorithm.aaar.generic
Constructors in de.learnlib.algorithm.aaar.generic with parameters of type MembershipOracle 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 MembershipOracle in de.learnlib.algorithm.adt.util
Classes in de.learnlib.algorithm.adt.util that implement MembershipOracle Modifier and Type Class Description class
SQOOTBridge<I,O>
A utility class that links an observation tree with a symbol query oracle, meaning that all queries to the symbol query oracle will be stored in the observation tree. -
Uses of MembershipOracle in de.learnlib.algorithm.dhc.mealy
Methods in de.learnlib.algorithm.dhc.mealy that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Word<O>>
MealyDHCBuilder. getOracle()
Methods in de.learnlib.algorithm.dhc.mealy with parameters of type MembershipOracle Modifier and Type Method Description void
MealyDHCBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
MealyDHCBuilder<I,O>
MealyDHCBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.dhc.mealy with parameters of type MembershipOracle Constructor Description MealyDHC(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
Constructor, provided for backwards compatibility reasons.MealyDHC(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder, Collection<? extends Word<I>> initialSplitters)
Constructor. -
Uses of MembershipOracle in de.learnlib.algorithm.kv.dfa
Methods in de.learnlib.algorithm.kv.dfa that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Boolean>
KearnsVaziraniDFABuilder. getOracle()
Methods in de.learnlib.algorithm.kv.dfa with parameters of type MembershipOracle Modifier and Type Method Description void
KearnsVaziraniDFABuilder. setOracle(MembershipOracle<I,Boolean> oracle)
KearnsVaziraniDFABuilder<I>
KearnsVaziraniDFABuilder. withOracle(MembershipOracle<I,Boolean> oracle)
Constructors in de.learnlib.algorithm.kv.dfa with parameters of type MembershipOracle Constructor Description KearnsVaziraniDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, boolean repeatedCounterexampleEvaluation, AcexAnalyzer counterexampleAnalyzer)
Constructor.KVAbstractCounterexample(Word<I> ceWord, boolean output, MembershipOracle<I,Boolean> oracle)
-
Uses of MembershipOracle in de.learnlib.algorithm.kv.mealy
Methods in de.learnlib.algorithm.kv.mealy that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Word<O>>
KearnsVaziraniMealyBuilder. getOracle()
Methods in de.learnlib.algorithm.kv.mealy with parameters of type MembershipOracle Modifier and Type Method Description void
KearnsVaziraniMealyBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
KearnsVaziraniMealyBuilder<I,O>
KearnsVaziraniMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.kv.mealy with parameters of type MembershipOracle Constructor Description KearnsVaziraniMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, boolean repeatedCounterexampleEvaluation, AcexAnalyzer counterexampleAnalyzer)
KVAbstractCounterexample(Word<I> ceWord, Word<O> output, MembershipOracle<I,Word<O>> oracle)
-
Uses of MembershipOracle in de.learnlib.algorithm.lstar
Fields in de.learnlib.algorithm.lstar declared as MembershipOracle Modifier and Type Field Description protected MembershipOracle<I,D>
AbstractLStar. oracle
Constructors in de.learnlib.algorithm.lstar with parameters of type MembershipOracle Constructor Description AbstractAutomatonLStar(Alphabet<I> alphabet, MembershipOracle<I,D> oracle, AI internalHyp)
Constructor.AbstractExtensibleAutomatonLStar(Alphabet<I> alphabet, MembershipOracle<I,D> oracle, AI internalHyp, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super D> cexHandler, ClosingStrategy<? super I,? super D> closingStrategy)
AbstractLStar(Alphabet<I> alphabet, MembershipOracle<I,D> oracle)
Constructor. -
Uses of MembershipOracle in de.learnlib.algorithm.lstar.ce
Methods in de.learnlib.algorithm.lstar.ce with parameters of type MembershipOracle Modifier and Type Method Description static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleClassicLStar(DefaultQuery<I,D> ceQuery, MutableObservationTable<I,D> table, MembershipOracle<I,D> oracle)
<RI extends I,RD extends D>
List<List<Row<RI>>>ObservationTableCEXHandler. handleCounterexample(DefaultQuery<RI,RD> ceQuery, MutableObservationTable<RI,RD> table, SuffixOutput<RI,RD> hypOutput, MembershipOracle<RI,RD> oracle)
static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleGlobalSuffixes(MutableObservationTable<I,D> table, List<? extends Word<I>> suffixes, MembershipOracle<I,D> oracle)
static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleLocalSuffix(Query<I,D> ceQuery, MutableObservationTable<I,D> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,D> oracle)
static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleLocalSuffix(Query<I,D> ceQuery, MutableObservationTable<I,D> table, int suffixIndex, MembershipOracle<I,D> oracle)
static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleSuffix1by1(DefaultQuery<I,D> ceQuery, MutableObservationTable<I,D> table, MembershipOracle<I,D> oracle)
-
Uses of MembershipOracle in de.learnlib.algorithm.lstar.closing
Methods in de.learnlib.algorithm.lstar.closing with parameters of type MembershipOracle Modifier and Type Method Description <RI,RD>
List<Row<RI>>CloseRandomStrategy. selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RD> table, MembershipOracle<RI,RD> oracle)
<RI extends I,RO extends D>
List<Row<RI>>ClosingStrategy. selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RO> table, MembershipOracle<RI,RO> oracle)
Given a list of row equivalence classes, this method selects for each of the classes one (representative) row which is being closed. -
Uses of MembershipOracle in de.learnlib.algorithm.lstar.dfa
Methods in de.learnlib.algorithm.lstar.dfa that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Boolean>
ClassicLStarDFABuilder. getOracle()
MembershipOracle<I,Boolean>
ExtensibleLStarDFABuilder. getOracle()
Methods in de.learnlib.algorithm.lstar.dfa with parameters of type MembershipOracle Modifier and Type Method Description void
ClassicLStarDFABuilder. setOracle(MembershipOracle<I,Boolean> oracle)
void
ExtensibleLStarDFABuilder. setOracle(MembershipOracle<I,Boolean> oracle)
ClassicLStarDFABuilder<I>
ClassicLStarDFABuilder. withOracle(MembershipOracle<I,Boolean> oracle)
ExtensibleLStarDFABuilder<I>
ExtensibleLStarDFABuilder. withOracle(MembershipOracle<I,Boolean> oracle)
Constructors in de.learnlib.algorithm.lstar.dfa with parameters of type MembershipOracle Constructor Description ClassicLStarDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
ExtensibleLStarDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Boolean> cexHandler, ClosingStrategy<? super I,? super Boolean> closingStrategy)
Constructor.ExtensibleLStarDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Boolean> cexHandler, ClosingStrategy<? super I,? super Boolean> closingStrategy)
-
Uses of MembershipOracle in de.learnlib.algorithm.lstar.mealy
Methods in de.learnlib.algorithm.lstar.mealy that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,O>
ClassicLStarMealyBuilder. getOracle()
MembershipOracle<I,Word<O>>
ExtensibleLStarMealyBuilder. getOracle()
Methods in de.learnlib.algorithm.lstar.mealy with parameters of type MembershipOracle Modifier and Type Method Description void
ClassicLStarMealyBuilder. setOracle(MembershipOracle<I,O> oracle)
void
ExtensibleLStarMealyBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
ClassicLStarMealyBuilder<I,O>
ClassicLStarMealyBuilder. withOracle(MembershipOracle<I,O> oracle)
ExtensibleLStarMealyBuilder<I,O>
ExtensibleLStarMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.lstar.mealy with parameters of type MembershipOracle Constructor Description ClassicLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,O> oracle)
Constructor.ClassicLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,O> oracle, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
Constructor.ClassicLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,O> oracle, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
ExtensibleLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
ExtensibleLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
-
Uses of MembershipOracle in de.learnlib.algorithm.lstar.moore
Methods in de.learnlib.algorithm.lstar.moore that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,O>
ClassicLStarMooreBuilder. getOracle()
MembershipOracle<I,Word<O>>
ExtensibleLStarMooreBuilder. getOracle()
Methods in de.learnlib.algorithm.lstar.moore with parameters of type MembershipOracle Modifier and Type Method Description void
ClassicLStarMooreBuilder. setOracle(MembershipOracle<I,O> oracle)
void
ExtensibleLStarMooreBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
ClassicLStarMooreBuilder<I,O>
ClassicLStarMooreBuilder. withOracle(MembershipOracle<I,O> oracle)
ExtensibleLStarMooreBuilder<I,O>
ExtensibleLStarMooreBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.lstar.moore with parameters of type MembershipOracle Constructor Description ClassicLStarMoore(Alphabet<I> alphabet, MembershipOracle<I,O> oracle, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
ExtensibleLStarMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
ExtensibleLStarMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
-
Uses of MembershipOracle in de.learnlib.algorithm.malerpnueli
Methods in de.learnlib.algorithm.malerpnueli that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Boolean>
MalerPnueliDFABuilder. getOracle()
MembershipOracle<I,Word<O>>
MalerPnueliMealyBuilder. getOracle()
MembershipOracle<I,Word<O>>
MalerPnueliMooreBuilder. getOracle()
Methods in de.learnlib.algorithm.malerpnueli with parameters of type MembershipOracle Modifier and Type Method Description void
MalerPnueliDFABuilder. setOracle(MembershipOracle<I,Boolean> oracle)
void
MalerPnueliMealyBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
void
MalerPnueliMooreBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
MalerPnueliDFABuilder<I>
MalerPnueliDFABuilder. withOracle(MembershipOracle<I,Boolean> oracle)
MalerPnueliMealyBuilder<I,O>
MalerPnueliMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
MalerPnueliMooreBuilder<I,O>
MalerPnueliMooreBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.malerpnueli with parameters of type MembershipOracle Constructor Description MalerPnueliDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
MalerPnueliDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Boolean> closingStrategy)
MalerPnueliMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
MalerPnueliMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
MalerPnueliMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
MalerPnueliMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
-
Uses of MembershipOracle in de.learnlib.algorithm.nlstar
Methods in de.learnlib.algorithm.nlstar that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Boolean>
NLStarLearnerBuilder. getOracle()
Methods in de.learnlib.algorithm.nlstar with parameters of type MembershipOracle Modifier and Type Method Description void
NLStarLearnerBuilder. setOracle(MembershipOracle<I,Boolean> oracle)
NLStarLearnerBuilder<I>
NLStarLearnerBuilder. withOracle(MembershipOracle<I,Boolean> oracle)
Constructors in de.learnlib.algorithm.nlstar with parameters of type MembershipOracle Constructor Description NLStarLearner(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
Constructor.ObservationTable(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
Uses of MembershipOracle in de.learnlib.algorithm.observationpack
Constructors in de.learnlib.algorithm.observationpack with parameters of type MembershipOracle Constructor Description AbstractOPLearner(Alphabet<I> alphabet, MembershipOracle<I,D> oracle, LocalSuffixFinder<? super I,? super D> suffixFinder, boolean repeatedCounterexampleEvaluation, AbstractWordBasedDiscriminationTree<I,D,HState<I,D,SP,TP>> dtree)
-
Uses of MembershipOracle in de.learnlib.algorithm.observationpack.dfa
Methods in de.learnlib.algorithm.observationpack.dfa that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Boolean>
OPLearnerDFABuilder. getOracle()
Methods in de.learnlib.algorithm.observationpack.dfa with parameters of type MembershipOracle Modifier and Type Method Description void
OPLearnerDFABuilder. setOracle(MembershipOracle<I,Boolean> oracle)
OPLearnerDFABuilder<I>
OPLearnerDFABuilder. withOracle(MembershipOracle<I,Boolean> oracle)
Constructors in de.learnlib.algorithm.observationpack.dfa with parameters of type MembershipOracle Constructor Description OPLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LocalSuffixFinder<? super I,? super Boolean> suffixFinder, boolean repeatedCounterexampleEvaluation, boolean epsilonRoot)
Constructor. -
Uses of MembershipOracle in de.learnlib.algorithm.observationpack.mealy
Methods in de.learnlib.algorithm.observationpack.mealy that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Word<O>>
OPLearnerMealyBuilder. getOracle()
Methods in de.learnlib.algorithm.observationpack.mealy with parameters of type MembershipOracle Modifier and Type Method Description void
OPLearnerMealyBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
OPLearnerMealyBuilder<I,O>
OPLearnerMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.observationpack.mealy with parameters of type MembershipOracle Constructor Description OPLearnerMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation)
Constructor. -
Uses of MembershipOracle in de.learnlib.algorithm.observationpack.moore
Methods in de.learnlib.algorithm.observationpack.moore that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Word<O>>
OPLearnerMooreBuilder. getOracle()
Methods in de.learnlib.algorithm.observationpack.moore with parameters of type MembershipOracle Modifier and Type Method Description void
OPLearnerMooreBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
OPLearnerMooreBuilder<I,O>
OPLearnerMooreBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.observationpack.moore with parameters of type MembershipOracle Constructor Description OPLearnerMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder, boolean repeatedCounterexampleEvaluation)
-
Uses of MembershipOracle in de.learnlib.algorithm.observationpack.vpa
Fields in de.learnlib.algorithm.observationpack.vpa declared as MembershipOracle Modifier and Type Field Description protected MembershipOracle<I,Boolean>
AbstractVPALearner. oracle
Constructors in de.learnlib.algorithm.observationpack.vpa with parameters of type MembershipOracle Constructor Description AbstractVPALearner(VPAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
Uses of MembershipOracle in de.learnlib.algorithm.observationpack.vpa.hypothesis
Constructors in de.learnlib.algorithm.observationpack.vpa.hypothesis with parameters of type MembershipOracle Constructor Description DTree(MembershipOracle<I,Boolean> oracle)
-
Uses of MembershipOracle in de.learnlib.algorithm.oml.lstar
Constructors in de.learnlib.algorithm.oml.lstar with parameters of type MembershipOracle Constructor Description OptimalLStarDFA(Alphabet<I> sigma, MembershipOracle<I,Boolean> mqo)
OptimalLStarDFA(Alphabet<I> sigma, MembershipOracle<I,Boolean> mqs, MembershipOracle<I,Boolean> ceqs)
OptimalLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqo)
OptimalLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqs, MembershipOracle<I,Word<O>> ceqs)
-
Uses of MembershipOracle in de.learnlib.algorithm.oml.ttt
Constructors in de.learnlib.algorithm.oml.ttt with parameters of type MembershipOracle Constructor Description AbstractOptimalTTT(Alphabet<I> alphabet, MembershipOracle<I,D> ceqs)
-
Uses of MembershipOracle in de.learnlib.algorithm.oml.ttt.dfa
Constructors in de.learnlib.algorithm.oml.ttt.dfa with parameters of type MembershipOracle Constructor Description OptimalTTTDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqo)
OptimalTTTDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqs, MembershipOracle<I,Boolean> ceqs)
-
Uses of MembershipOracle in de.learnlib.algorithm.oml.ttt.dt
Fields in de.learnlib.algorithm.oml.ttt.dt declared as MembershipOracle Modifier and Type Field Description protected MembershipOracle<I,D>
AbstractDecisionTree. mqOracle
Constructors in de.learnlib.algorithm.oml.ttt.dt with parameters of type MembershipOracle Constructor Description AbstractDecisionTree(Alphabet<I> alphabet, MembershipOracle<I,D> mqOracle, STNode<I> stRoot)
-
Uses of MembershipOracle in de.learnlib.algorithm.oml.ttt.mealy
Constructors in de.learnlib.algorithm.oml.ttt.mealy with parameters of type MembershipOracle Constructor Description OptimalTTTMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqo)
OptimalTTTMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqs, MembershipOracle<I,Word<O>> ceqs)
-
Uses of MembershipOracle in de.learnlib.algorithm.procedural.adapter.dfa
Constructors in de.learnlib.algorithm.procedural.adapter.dfa with parameters of type MembershipOracle Constructor Description KearnsVaziraniAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
LStarBaseAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
ObservationPackAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
OptimalTTTAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
RivestSchapireAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
TTTAdapterDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
Uses of MembershipOracle in de.learnlib.algorithm.procedural.adapter.mealy
Constructors in de.learnlib.algorithm.procedural.adapter.mealy with parameters of type MembershipOracle Constructor Description KearnsVaziraniAdapterMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
LStarBaseAdapterMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
ObservationPackAdapterMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
OptimalTTTAdapterMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
RivestSchapireAdapterMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
TTTAdapterMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
-
Uses of MembershipOracle in de.learnlib.algorithm.procedural.sba
Constructors in de.learnlib.algorithm.procedural.sba with parameters of type MembershipOracle Constructor Description SBALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LearnerConstructor<L,SymbolWrapper<I>,Boolean> learnerConstructor)
SBALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Boolean>> learnerConstructors, AcexAnalyzer analyzer, ATManager<I> atManager)
-
Uses of MembershipOracle in de.learnlib.algorithm.procedural.spa
Constructors in de.learnlib.algorithm.procedural.spa with parameters of type MembershipOracle Constructor Description SPALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, LearnerConstructor<L,I,Boolean> learnerConstructor)
SPALearner(ProceduralInputAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, Mapping<I,LearnerConstructor<L,I,Boolean>> learnerConstructors, AcexAnalyzer analyzer, ATRManager<I> atrManager)
-
Uses of MembershipOracle in de.learnlib.algorithm.procedural.spmm
Constructors in de.learnlib.algorithm.procedural.spmm with parameters of type MembershipOracle Constructor Description SPMMLearner(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle<I,Word<O>> oracle, LearnerConstructor<L,SymbolWrapper<I>,Word<O>> learnerConstructor)
SPMMLearner(ProceduralInputAlphabet<I> alphabet, O errorOutput, MembershipOracle<I,Word<O>> oracle, Mapping<I,LearnerConstructor<L,SymbolWrapper<I>,Word<O>>> learnerConstructors, ATManager<I,O> atManager)
-
Uses of MembershipOracle in de.learnlib.algorithm.rivestschapire
Methods in de.learnlib.algorithm.rivestschapire that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Boolean>
RivestSchapireDFABuilder. getOracle()
MembershipOracle<I,Word<O>>
RivestSchapireMealyBuilder. getOracle()
MembershipOracle<I,Word<O>>
RivestSchapireMooreBuilder. getOracle()
Methods in de.learnlib.algorithm.rivestschapire with parameters of type MembershipOracle Modifier and Type Method Description void
RivestSchapireDFABuilder. setOracle(MembershipOracle<I,Boolean> oracle)
void
RivestSchapireMealyBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
void
RivestSchapireMooreBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
RivestSchapireDFABuilder<I>
RivestSchapireDFABuilder. withOracle(MembershipOracle<I,Boolean> oracle)
RivestSchapireMealyBuilder<I,O>
RivestSchapireMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
RivestSchapireMooreBuilder<I,O>
RivestSchapireMooreBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.rivestschapire with parameters of type MembershipOracle Constructor Description RivestSchapireDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
RivestSchapireDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Boolean> closingStrategy)
RivestSchapireMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
RivestSchapireMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
RivestSchapireMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle)
RivestSchapireMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
-
Uses of MembershipOracle in de.learnlib.algorithm.ttt.base
Fields in de.learnlib.algorithm.ttt.base declared as MembershipOracle Modifier and Type Field Description protected MembershipOracle<I,D>
AbstractTTTLearner. oracle
Constructors in de.learnlib.algorithm.ttt.base with parameters of type MembershipOracle Constructor Description AbstractTTTLearner(Alphabet<I> alphabet, MembershipOracle<I,D> oracle, AbstractTTTHypothesis<?,I,D,?> hypothesis, BaseTTTDiscriminationTree<I,D> dtree, AcexAnalyzer analyzer)
BaseTTTDiscriminationTree(MembershipOracle<I,D> oracle, AbstractBaseDTNode<I,D> root)
BaseTTTDiscriminationTree(MembershipOracle<I,D> oracle, Supplier<? extends AbstractBaseDTNode<I,D>> supplier)
-
Uses of MembershipOracle in de.learnlib.algorithm.ttt.dfa
Methods in de.learnlib.algorithm.ttt.dfa that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Boolean>
TTTLearnerDFABuilder. getOracle()
Methods in de.learnlib.algorithm.ttt.dfa with parameters of type MembershipOracle Modifier and Type Method Description void
TTTLearnerDFABuilder. setOracle(MembershipOracle<I,Boolean> oracle)
TTTLearnerDFABuilder<I>
TTTLearnerDFABuilder. withOracle(MembershipOracle<I,Boolean> oracle)
Constructors in de.learnlib.algorithm.ttt.dfa with parameters of type MembershipOracle Constructor Description PrefixTTTLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)
TTTLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)
TTTLearnerDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer, Supplier<? extends AbstractBaseDTNode<I,Boolean>> rootSupplier)
-
Uses of MembershipOracle in de.learnlib.algorithm.ttt.mealy
Methods in de.learnlib.algorithm.ttt.mealy that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Word<O>>
TTTLearnerMealyBuilder. getOracle()
Methods in de.learnlib.algorithm.ttt.mealy with parameters of type MembershipOracle Modifier and Type Method Description void
TTTLearnerMealyBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
TTTLearnerMealyBuilder<I,O>
TTTLearnerMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.ttt.mealy with parameters of type MembershipOracle Constructor Description TTTLearnerMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, AcexAnalyzer analyzer)
-
Uses of MembershipOracle in de.learnlib.algorithm.ttt.moore
Methods in de.learnlib.algorithm.ttt.moore that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,Word<O>>
TTTLearnerMooreBuilder. getOracle()
Methods in de.learnlib.algorithm.ttt.moore with parameters of type MembershipOracle Modifier and Type Method Description void
TTTLearnerMooreBuilder. setOracle(MembershipOracle<I,Word<O>> oracle)
TTTLearnerMooreBuilder<I,O>
TTTLearnerMooreBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
Constructors in de.learnlib.algorithm.ttt.moore with parameters of type MembershipOracle Constructor Description TTTLearnerMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, AcexAnalyzer analyzer)
-
Uses of MembershipOracle in de.learnlib.counterexample
Methods in de.learnlib.counterexample with parameters of type MembershipOracle Modifier and Type Method Description static <I,D>
List<Word<I>>GlobalSuffixFinders. findLinear(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle, boolean allSuffixes)
Returns the suffix (plus all of its suffixes, ifallSuffixes
is true) found by the access sequence transformation in ascending linear order.static <I,D>
intLocalSuffixFinders. findLinear(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle)
Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.static <I,D>
List<Word<I>>GlobalSuffixFinders. findLinearReverse(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle, boolean allSuffixes)
Returns the suffix (plus all of its suffixes, ifallSuffixes
is true) found by the access sequence transformation in descending linear order.static <I,D>
intLocalSuffixFinders. findLinearReverse(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle)
Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.static <I,O>
List<Word<I>>GlobalSuffixFinders. findRivestSchapire(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle, boolean allSuffixes)
Returns the suffix (plus all of its suffixes, ifallSuffixes
is true) found by the binary search access sequence transformation.static <I,D>
intLocalSuffixFinders. findRivestSchapire(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle)
Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.<RI extends I,RD extends D>
List<Word<RI>>GlobalSuffixFinder. findSuffixes(Query<RI,RD> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RD> hypOutput, MembershipOracle<RI,RD> oracle)
Finds a set of distinguishing suffixes which will allow to expose at least one additional state in the hypothesis.static <RI,RO>
intAcexLocalSuffixFinder. findSuffixIndex(AcexAnalyzer analyzer, boolean reduce, Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
<RI,RO>
intAcexLocalSuffixFinder. findSuffixIndex(Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
<RI extends I,RD extends D>
intLocalSuffixFinder. findSuffixIndex(Query<RI,RD> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RD> hypOutput, MembershipOracle<RI,RD> oracle)
Finds, for a given counterexample, a "split index", such that: - the part of the query word before this index leads to the state being split - the part of the query word from this index on is a suffix capable of splitting this state. -
Uses of MembershipOracle in de.learnlib.datastructure.discriminationtree
Constructors in de.learnlib.datastructure.discriminationtree with parameters of type MembershipOracle Constructor Description BinaryDTree(MembershipOracle<I,Boolean> oracle)
BinaryDTree(MembershipOracle<I,Boolean> oracle, boolean epsilonRoot)
BinaryDTree(D rootData, MembershipOracle<I,Boolean> oracle)
MultiDTree(MembershipOracle<I,O> oracle)
MultiDTree(D rootData, MembershipOracle<I,O> oracle)
-
Uses of MembershipOracle in de.learnlib.datastructure.discriminationtree.model
Fields in de.learnlib.datastructure.discriminationtree.model declared as MembershipOracle Modifier and Type Field Description protected MembershipOracle<I,O>
AbstractDiscriminationTree. oracle
Methods in de.learnlib.datastructure.discriminationtree.model with parameters of type MembershipOracle Modifier and Type Method Description void
AbstractDiscriminationTree. setOracle(MembershipOracle<I,O> oracle)
Constructors in de.learnlib.datastructure.discriminationtree.model with parameters of type MembershipOracle Constructor Description AbstractDiscriminationTree(N root, MembershipOracle<I,O> oracle)
AbstractWordBasedDiscriminationTree(AbstractWordBasedDTNode<I,O,D> root, MembershipOracle<I,O> oracle)
-
Uses of MembershipOracle in de.learnlib.datastructure.observationtable
Methods in de.learnlib.datastructure.observationtable with parameters of type MembershipOracle Modifier and Type Method Description List<List<Row<I>>>
GenericObservationTable. addAlphabetSymbol(I symbol, MembershipOracle<I,D> oracle)
List<List<Row<I>>>
MutableObservationTable. addAlphabetSymbol(I symbol, MembershipOracle<I,D> oracle)
List<List<Row<I>>>
GenericObservationTable. addShortPrefixes(List<? extends Word<I>> shortPrefixes, MembershipOracle<I,D> oracle)
List<List<Row<I>>>
MutableObservationTable. addShortPrefixes(List<? extends Word<I>> shortPrefixes, MembershipOracle<I,D> oracle)
List<List<Row<I>>>
GenericObservationTable. addSuffix(Word<I> suffix, MembershipOracle<I,D> oracle)
default List<List<Row<I>>>
MutableObservationTable. addSuffix(Word<I> suffix, MembershipOracle<I,D> oracle)
Adds a suffix to the list of distinguishing suffixes.List<List<Row<I>>>
GenericObservationTable. addSuffixes(Collection<? extends Word<I>> newSuffixes, MembershipOracle<I,D> oracle)
List<List<Row<I>>>
MutableObservationTable. addSuffixes(Collection<? extends Word<I>> newSuffixes, MembershipOracle<I,D> oracle)
Adds suffixes to the list of distinguishing suffixes.List<List<Row<I>>>
GenericObservationTable. initialize(List<Word<I>> initialShortPrefixes, List<Word<I>> initialSuffixes, MembershipOracle<I,D> oracle)
List<List<Row<I>>>
MutableObservationTable. initialize(List<Word<I>> initialShortPrefixes, List<Word<I>> initialSuffixes, MembershipOracle<I,D> oracle)
Initializes an observation table using a specified set of suffixes.List<List<Row<I>>>
GenericObservationTable. toShortPrefixes(List<Row<I>> lpRows, MembershipOracle<I,D> oracle)
List<List<Row<I>>>
MutableObservationTable. toShortPrefixes(List<Row<I>> lpRows, MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows. -
Uses of MembershipOracle in de.learnlib.filter.cache
Subinterfaces of MembershipOracle in de.learnlib.filter.cache Modifier and Type Interface Description interface
LearningCacheOracle<A,I,D>
Alearning cache
that also serves as amembership oracle
.static interface
LearningCacheOracle.DFALearningCacheOracle<I>
Specialization of theLearningCacheOracle
interface for DFA learning.static interface
LearningCacheOracle.MealyLearningCacheOracle<I,O>
Specialization of theLearningCacheOracle
interface for Mealy machine learning.static interface
LearningCacheOracle.MooreLearningCacheOracle<I,O>
Specialization of theLearningCacheOracle
interface for Moore machine learning. -
Uses of MembershipOracle in de.learnlib.filter.cache.dfa
Classes in de.learnlib.filter.cache.dfa that implement MembershipOracle Modifier and Type Class Description class
DFACacheOracle<I>
DFA cache.class
DFAHashCacheOracle<I>
ALearningCacheOracle.DFALearningCacheOracle
that uses aMap
for internal cache organization.class
ThreadSafeDFACacheOracle<I>
A thread-safe variant ofDFACacheOracle
.Methods in de.learnlib.filter.cache.dfa with parameters of type MembershipOracle Modifier and Type Method Description static <I> DFACacheOracle<I>
DFACaches. createCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup.static <I> DFACacheOracle<I>
DFACaches. createDAGCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup, using a DAG for internal cache organization.static <I> DFACacheOracle<I>
DFACaches. createDAGPCCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
Creates a prefix-closed cache oracle for a DFA learning setup, using a DAG for internal cache organization.static <I> DFAHashCacheOracle<I>
DFACaches. createHashCache(MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup, using aMap
for internal cache organization.static <I> DFACacheOracle<I>
DFACaches. createTreeCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
Creates a cache oracle for a DFA learning setup, using a tree for internal cache organization.static <I> DFACacheOracle<I>
DFACaches. createTreePCCache(Alphabet<I> alphabet, MembershipOracle<I,Boolean> mqOracle)
Creates a prefix-closed cache oracle for a DFA learning setup, using a tree for internal cache organization.Method parameters in de.learnlib.filter.cache.dfa with type arguments of type MembershipOracle Modifier and Type Method Description static <I> Collection<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup.static <I> Supplier<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup.static <I> Collection<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createDAGCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.static <I> Supplier<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createDAGCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.static <I> Collection<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createDAGPCCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)
The prefix-closed version ofThreadSafeDFACaches.createDAGCache(Alphabet, Collection)
.static <I> Supplier<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createDAGPCCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)
The prefix-closed version ofThreadSafeDFACaches.createDAGCache(Alphabet, Supplier)
.static <I> Collection<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createTreeCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.static <I> Supplier<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createTreeCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.static <I> Collection<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createTreePCCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Boolean>> oracles)
Prefix-closed version ofThreadSafeDFACaches.createTreeCache(Alphabet, Collection)
.static <I> Supplier<ThreadSafeDFACacheOracle<I>>
ThreadSafeDFACaches. createTreePCCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Boolean>> oracleSupplier)
Prefix-closed version ofThreadSafeDFACaches.createTreeCache(Alphabet, Supplier)
. -
Uses of MembershipOracle in de.learnlib.filter.cache.mealy
Classes in de.learnlib.filter.cache.mealy that implement MembershipOracle Modifier and Type Class Description class
MealyCacheOracle<I,O>
Mealy cache.class
SymbolQueryCache<I,O>
A cache for aSymbolQueryOracle
.class
ThreadSafeMealyCacheOracle<I,O>
A thread-safe variant ofMealyCacheOracle
.Methods in de.learnlib.filter.cache.mealy with parameters of type MembershipOracle Modifier and Type Method Description static <I,O>
MealyCacheOracle<I,O>MealyCaches. createCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup.static <I,O>
MealyCacheOracle<I,O>MealyCaches. createDAGCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.static <I,O>
MealyCacheOracle<I,O>MealyCaches. createDAGCache(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a DAG for internal cache organization.static <I,O>
MealyCacheOracle<I,O>MealyCaches. createDynamicTreeCache(MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.static <I,O>
MealyCacheOracle<I,O>MealyCaches. createDynamicTreeCache(Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup with a dynamic alphabet storage, using a tree for internal cache organization.static <I,O>
MealyCacheOracle<I,O>MealyCaches. createTreeCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.static <I,O>
MealyCacheOracle<I,O>MealyCaches. createTreeCache(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Mealy machine learning setup, using a tree for internal cache organization.Method parameters in de.learnlib.filter.cache.mealy with type arguments of type MembershipOracle Modifier and Type Method Description static <I,O>
Collection<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createDAGCache(Alphabet<I> alphabet, @Nullable Mapping<? super O,? extends O> errorSyms, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.static <I,O>
Supplier<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createDAGCache(Alphabet<I> alphabet, @Nullable Mapping<? super O,? extends O> errorSyms, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.static <I,O>
Collection<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createDAGCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.static <I,O>
Supplier<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createDAGCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.static <I,O>
Collection<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createDynamicTreeCache(@Nullable Mapping<? super O,? extends O> errorSyms, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.static <I,O>
Supplier<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createDynamicTreeCache(@Nullable Mapping<? super O,? extends O> errorSyms, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.static <I,O>
Collection<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createDynamicTreeCache(Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.static <I,O>
Supplier<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createDynamicTreeCache(Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.static <I,O>
Collection<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createTreeCache(Alphabet<I> alphabet, @Nullable Mapping<? super O,? extends O> errorSyms, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.static <I,O>
Supplier<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createTreeCache(Alphabet<I> alphabet, @Nullable Mapping<? super O,? extends O> errorSyms, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.static <I,O>
Collection<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createTreeCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.static <I,O>
Supplier<ThreadSafeMealyCacheOracle<I,O>>ThreadSafeMealyCaches. createTreeCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization. -
Uses of MembershipOracle in de.learnlib.filter.cache.moore
Classes in de.learnlib.filter.cache.moore that implement MembershipOracle Modifier and Type Class Description class
MooreCacheOracle<I,O>
Moore cache.class
ThreadSafeMooreCacheOracle<I,O>
A thread-safe variant ofMealyCacheOracle
.Methods in de.learnlib.filter.cache.moore with parameters of type MembershipOracle Modifier and Type Method Description static <I,O>
MooreCacheOracle<I,O>MooreCaches. createCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Moore machine learning setup.static <I,O>
MooreCacheOracle<I,O>MooreCaches. createDAGCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.static <I,O>
MooreCacheOracle<I,O>MooreCaches. createDAGCache(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Moore machine learning setup, using a DAG for internal cache organization.static <I,O>
MooreCacheOracle<I,O>MooreCaches. createTreeCache(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.static <I,O>
MooreCacheOracle<I,O>MooreCaches. createTreeCache(Alphabet<I> alphabet, Mapping<? super O,? extends O> errorSyms, MembershipOracle<I,Word<O>> mqOracle)
Creates a cache oracle for a Moore machine learning setup, using a tree for internal cache organization.Method parameters in de.learnlib.filter.cache.moore with type arguments of type MembershipOracle Modifier and Type Method Description static <I,O>
Collection<ThreadSafeMooreCacheOracle<I,O>>ThreadSafeMooreCaches. createDAGCache(Alphabet<I> alphabet, @Nullable Mapping<? super O,? extends O> errorSyms, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.static <I,O>
Supplier<ThreadSafeMooreCacheOracle<I,O>>ThreadSafeMooreCaches. createDAGCache(Alphabet<I> alphabet, @Nullable Mapping<? super O,? extends O> errorSyms, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.static <I,O>
Collection<ThreadSafeMooreCacheOracle<I,O>>ThreadSafeMooreCaches. createDAGCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.static <I,O>
Supplier<ThreadSafeMooreCacheOracle<I,O>>ThreadSafeMooreCaches. createDAGCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.static <I,O>
Collection<ThreadSafeMooreCacheOracle<I,O>>ThreadSafeMooreCaches. createTreeCache(Alphabet<I> alphabet, @Nullable Mapping<? super O,? extends O> errorSyms, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.static <I,O>
Supplier<ThreadSafeMooreCacheOracle<I,O>>ThreadSafeMooreCaches. createTreeCache(Alphabet<I> alphabet, @Nullable Mapping<? super O,? extends O> errorSyms, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.static <I,O>
Collection<ThreadSafeMooreCacheOracle<I,O>>ThreadSafeMooreCaches. createTreeCache(Alphabet<I> alphabet, Collection<? extends MembershipOracle<I,Word<O>>> oracles)
Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.static <I,O>
Supplier<ThreadSafeMooreCacheOracle<I,O>>ThreadSafeMooreCaches. createTreeCache(Alphabet<I> alphabet, Supplier<? extends MembershipOracle<I,Word<O>>> oracleSupplier)
Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization. -
Uses of MembershipOracle in de.learnlib.filter.reuse
Classes in de.learnlib.filter.reuse that implement MembershipOracle Modifier and Type Class Description class
ReuseOracle<S,I,O>
The reuse oracle is aMembershipOracle.MealyMembershipOracle
that is able to Cache queries: Each processed query will not be delegated again (instead the answer will be retrieved from theReuseTree
) Pump queries: If theReuseTree
is configured to know which symbols are model invariant input symbols viaReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set)
(like a read from a database which does not change the SUL) or configured for failure output symbols viaReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set)
(e.g. a roll back mechanism exists for the invoked symbol) the oracle could ''pump'' those symbols inside a query once seen. Reuse system states: There are a lot of situations where a prefix of a query is already known and a system state is available. -
Uses of MembershipOracle in de.learnlib.filter.statistic.oracle
Classes in de.learnlib.filter.statistic.oracle that implement MembershipOracle Modifier and Type Class Description class
CounterOracle<I,D>
AMembershipOracle
that counts both the number of queries and the total number of symbols occurring in all those queries.class
CounterSymbolQueryOracle<I,O>
class
DFACounterOracle<I>
This is an auto-generated refinement.class
DFAHistogramOracle<I>
This is an auto-generated refinement.class
HistogramOracle<I,D>
Collects a histogram of passed query lengths.class
MealyCounterOracle<I,O>
This is an auto-generated refinement.class
MealyHistogramOracle<I,O>
This is an auto-generated refinement.class
MooreCounterOracle<I,O>
This is an auto-generated refinement.class
MooreOutputHistogramOracle<I,O>
This is an auto-generated refinement.Constructors in de.learnlib.filter.statistic.oracle with parameters of type MembershipOracle Constructor Description CounterOracle(MembershipOracle<I,D> delegate)
HistogramOracle(MembershipOracle<I,D> next, String name)
-
Uses of MembershipOracle in de.learnlib.oracle
Subinterfaces of MembershipOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
MembershipOracle.DFAMembershipOracle<I>
A specialization of theMembershipOracle
that binds the output domain toBoolean
s.static interface
MembershipOracle.MealyMembershipOracle<I,O>
A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.static interface
MembershipOracle.MooreMembershipOracle<I,O>
A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.interface
SingleQueryOracle<I,D>
Base interface for oracles whose semantic is defined in terms of directly answering single queries (like aQueryAnswerer
), and that cannot profit from batch processing of queries.static interface
SingleQueryOracle.SingleQueryOracleDFA<I>
static interface
SingleQueryOracle.SingleQueryOracleMealy<I,O>
static interface
SingleQueryOracle.SingleQueryOracleMoore<I,O>
interface
SymbolQueryOracle<I,O>
Symbol query interface.Methods in de.learnlib.oracle that return MembershipOracle Modifier and Type Method Description default MembershipOracle<I,D>
MembershipOracle. asOracle()
default MembershipOracle<I,D>
QueryAnswerer. asOracle()
MembershipOracle<I,D>
OmegaMembershipOracle. getMembershipOracle()
Returns a regular membership oracle. -
Uses of MembershipOracle in de.learnlib.oracle.equivalence
Methods in de.learnlib.oracle.equivalence with parameters of type MembershipOracle Modifier and Type Method Description SampleSetEQOracle<I,D>
SampleSetEQOracle. addAll(MembershipOracle<I,D> oracle, Collection<? extends Word<I>> words)
Adds words to the sample set.SampleSetEQOracle<I,D>
SampleSetEQOracle. addAll(MembershipOracle<I,D> oracle, Word<I>... words)
Adds several query words to the sample set.Constructors in de.learnlib.oracle.equivalence with parameters of type MembershipOracle Constructor Description AbstractBFInclusionOracle(MembershipOracle<I,D> membershipOracle, double multiplier)
AbstractTestWordEQOracle(MembershipOracle<I,D> membershipOracle)
AbstractTestWordEQOracle(MembershipOracle<I,D> membershipOracle, int batchSize)
CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int maxDepth)
Constructor.CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int minDepth, int maxDepth)
Constructor.CompleteExplorationEQOracle(MembershipOracle<I,D> sulOracle, int minDepth, int maxDepth, int batchSize)
Constructor.IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet)
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet, int maxDepth)
IncrementalWMethodEQOracle(MembershipOracle<I,D> oracle, Alphabet<I> alphabet, int maxDepth, int batchSize)
RandomWMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength)
Constructor for an unbounded testing oracle.RandomWMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound)
Constructor for a bounded testing oracle.RandomWMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)
Constructor for a bounded testing oracle with a specific batch size.RandomWMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)
Constructor for a bounded testing oracle with a specific batch size.RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests)
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random)
RandomWordsEQOracle(MembershipOracle<I,D> mqOracle, int minLength, int maxLength, int maxTests, Random random, int batchSize)
RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength)
Constructor for an unbounded testing oracle.RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound)
Constructor for a bounded testing oracle.RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound, int batchSize)
Constructor for a bounded testing oracle with specific batch size.RandomWpMethodEQOracle(MembershipOracle<I,D> sulOracle, int minimalSize, int rndLength, int bound, Random random, int batchSize)
Constructor for a bounded testing oracle with specific batch size.WMethodEQOracle(MembershipOracle<I,D> sulOracle, int lookahead)
Constructor.WMethodEQOracle(MembershipOracle<I,D> sulOracle, int lookahead, int expectedSize)
Constructor.WMethodEQOracle(MembershipOracle<I,D> sulOracle, int lookahead, int expectedSize, int batchSize)
Constructor.WpMethodEQOracle(MembershipOracle<I,D> sulOracle, int lookahead)
Constructor.WpMethodEQOracle(MembershipOracle<I,D> sulOracle, int lookahead, int expectedSize)
Constructor.WpMethodEQOracle(MembershipOracle<I,D> sulOracle, int lookahead, int expectedSize, int batchSize)
Constructor. -
Uses of MembershipOracle in de.learnlib.oracle.equivalence.sba
Constructors in de.learnlib.oracle.equivalence.sba with parameters of type MembershipOracle Constructor Description WMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead)
Constructor.WMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead, int expectedSize)
Constructor.WMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead, int expectedSize, int batchSize)
Constructor. -
Uses of MembershipOracle in de.learnlib.oracle.equivalence.spa
Constructors in de.learnlib.oracle.equivalence.spa with parameters of type MembershipOracle Constructor Description WMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead)
Constructor.WMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead, int expectedSize)
Constructor.WMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead, int expectedSize, int batchSize)
Constructor.WpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead)
Constructor.WpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead, int expectedSize)
Constructor.WpMethodEQOracle(MembershipOracle<I,Boolean> sulOracle, int lookahead, int expectedSize, int batchSize)
Constructor. -
Uses of MembershipOracle in de.learnlib.oracle.equivalence.spmm
Constructors in de.learnlib.oracle.equivalence.spmm with parameters of type MembershipOracle Constructor Description WMethodEQOracle(MembershipOracle<I,Word<O>> sulOracle, int lookahead)
Constructor.WMethodEQOracle(MembershipOracle<I,Word<O>> sulOracle, int lookahead, int expectedSize)
Constructor.WMethodEQOracle(MembershipOracle<I,Word<O>> sulOracle, int lookahead, int expectedSize, int batchSize)
Constructor. -
Uses of MembershipOracle in de.learnlib.oracle.equivalence.vpa
Constructors in de.learnlib.oracle.equivalence.vpa with parameters of type MembershipOracle Constructor Description RandomWellMatchedWordsEQOracle(Random random, MembershipOracle<I,Boolean> oracle, double callProb, int maxTests, int minLength, int maxLength)
RandomWellMatchedWordsEQOracle(Random random, MembershipOracle<I,Boolean> oracle, double callProb, int maxTests, int minLength, int maxLength, int batchSize)
-
Uses of MembershipOracle in de.learnlib.oracle.membership
Classes in de.learnlib.oracle.membership that implement MembershipOracle Modifier and Type Class Description class
DFASimulatorOracle<I>
This is an auto-generated refinement.class
MappedOracle<AI,AO,CI,CO>
A utility class that allows to lift a membership oracle of concrete input/output symbols to a membership oracle of abstract input/output symbols, given a corresponding mapper.class
MealySimulatorOracle<I,O>
This is an auto-generated refinement.class
MooreSimulatorOracle<I,O>
This is an auto-generated refinement.class
NFASimulatorOracle<I>
This is an auto-generated refinement.class
SBASimulatorOracle<I>
This is an auto-generated refinement.class
SEVPASimulatorOracle<I>
This is an auto-generated refinement.class
SimulatorOracle<I,D>
A membership oracle backed by an automaton.class
SPASimulatorOracle<I>
This is an auto-generated refinement.class
SPMMSimulatorOracle<I,O>
This is an auto-generated refinement.class
StateLocalInputSULOracle<I,O>
A wrapper around a system under learning (SUL) with state local inputs.class
StateLocalInputSULSymbolQueryOracle<I,O>
ASymbolQueryOracle
wrapper forStateLocalInputSUL
s.class
SULOracle<I,O>
A wrapper around a system under learning (SUL).class
SULSymbolQueryOracle<I,O>
A wrapper that allows to use aSUL
where aSymbolQueryOracle
is expected.Methods in de.learnlib.oracle.membership that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,D>
SimulatorOmegaOracle. getMembershipOracle()
Gets theSimulatorOracle
used to answerQuery
s. -
Uses of MembershipOracle in de.learnlib.oracle.parallelism
Subinterfaces of MembershipOracle in de.learnlib.oracle.parallelism Modifier and Type Interface Description interface
ParallelOracle<I,D>
Basic interface forMembershipOracle
s that can process queries in parallel.Classes in de.learnlib.oracle.parallelism that implement MembershipOracle Modifier and Type Class Description class
DynamicParallelOracle<I,D>
class
StaticParallelOracle<I,D>
Methods in de.learnlib.oracle.parallelism that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,D>
DynamicParallelOmegaOracle. getMembershipOracle()
MembershipOracle<I,D>
StaticParallelOmegaOracle. getMembershipOracle()
Methods in de.learnlib.oracle.parallelism with parameters of type MembershipOracle Modifier and Type Method Description static <I,D>
DynamicParallelOracleBuilder<I,D>ParallelOracleBuilders. newDynamicParallelOracle(MembershipOracle<I,D> firstOracle, MembershipOracle<I,D>... otherOracles)
Convenience method forParallelOracleBuilders.newDynamicParallelOracle(Collection)
.static <I,D>
StaticParallelOracleBuilder<I,D>ParallelOracleBuilders. newStaticParallelOracle(MembershipOracle<I,D> firstOracle, MembershipOracle<I,D>... otherOracles)
Convenience method forParallelOracleBuilders.newStaticParallelOracle(Collection)
.Method parameters in de.learnlib.oracle.parallelism with type arguments of type MembershipOracle Modifier and Type Method Description protected DynamicParallelOracle<I,D>
DynamicParallelOracleBuilder. buildOracle(Supplier<? extends MembershipOracle<I,D>> supplier, int batchSize, ExecutorService executorService)
protected StaticParallelOracle<I,D>
StaticParallelOracleBuilder. buildOracle(Collection<? extends MembershipOracle<I,D>> oracleInstances, int minBatchSize, ThreadPool.PoolPolicy poolPolicy)
static <I,D>
DynamicParallelOracleBuilder<I,D>ParallelOracleBuilders. newDynamicParallelOracle(Collection<? extends MembershipOracle<I,D>> oracles)
Creates aDynamicParallelOracleBuilder
using the provided collection of membership oracles.static <I,D>
DynamicParallelOracleBuilder<I,D>ParallelOracleBuilders. newDynamicParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)
Creates aDynamicParallelOracleBuilder
using the provided supplier.static <I,D>
StaticParallelOracleBuilder<I,D>ParallelOracleBuilders. newStaticParallelOracle(Collection<? extends MembershipOracle<I,D>> oracles)
Creates aStaticParallelOracleBuilder
using the provided collection of membership oracles.static <I,D>
StaticParallelOracleBuilder<I,D>ParallelOracleBuilders. newStaticParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)
Creates aStaticParallelOracleBuilder
using the provided supplier.Constructor parameters in de.learnlib.oracle.parallelism with type arguments of type MembershipOracle Constructor Description DynamicParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier, @org.checkerframework.checker.index.qual.NonNegative int batchSize, ExecutorService executor)
DynamicParallelOracleBuilder(Collection<? extends MembershipOracle<I,D>> oracles)
DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)
StaticParallelOracle(Collection<? extends MembershipOracle<I,D>> oracles, @org.checkerframework.checker.index.qual.NonNegative int minBatchSize, ThreadPool.PoolPolicy policy)
StaticParallelOracleBuilder(Collection<? extends MembershipOracle<I,D>> oracles)
StaticParallelOracleBuilder(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)
-
Uses of MembershipOracle in de.learnlib.statistic
Subinterfaces of MembershipOracle in de.learnlib.statistic Modifier and Type Interface Description interface
StatisticOracle<I,D>
Common interface for oracles keeping statistics. -
Uses of MembershipOracle in de.learnlib.testsupport.it.learner
Methods in de.learnlib.testsupport.it.learner with parameters of type MembershipOracle Modifier and Type Method Description protected abstract <I,O>
voidAbstractMealySymLearnerIT. addLearnerVariants(Alphabet<I> alphabet, MembershipOracle<I,O> mqOracle, LearnerVariantList.MealySymLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specifiedvariant list
.protected abstract <I,O>
voidAbstractMooreSymLearnerIT. addLearnerVariants(Alphabet<I> alphabet, MembershipOracle<I,O> mqOracle, LearnerVariantList.MooreSymLearnerVariantList<I,O> variants)
Adds, for a given setup, all the variants of the Mealy machine learner to be tested to the specifiedvariant list
. -
Uses of MembershipOracle in de.learnlib.util
Methods in de.learnlib.util that return MembershipOracle Modifier and Type Method Description MembershipOracle<I,D>
AbstractBFOracle. getMembershipOracle()
Methods in de.learnlib.util with parameters of type MembershipOracle Modifier and Type Method Description static <I,D>
DefaultQuery<I,D>MQUtil. normalize(MembershipOracle<I,D> oracle, DefaultQuery<I,D> query)
static <I,D>
DefaultQuery<I,D>MQUtil. query(MembershipOracle<I,D> oracle, Word<I> queryWord)
static <I,D>
DefaultQuery<I,D>MQUtil. query(MembershipOracle<I,D> oracle, Word<I> prefix, Word<I> suffix)
Constructors in de.learnlib.util with parameters of type MembershipOracle Constructor Description AbstractBFOracle(MembershipOracle<I,D> membershipOracle, double multiplier)
-
Uses of MembershipOracle in de.learnlib.util.mealy
Methods in de.learnlib.util.mealy that return MembershipOracle Modifier and Type Method Description static <I,O>
MembershipOracle<I,@Nullable O>MealyUtil. wrapWordOracle(MembershipOracle<I,Word<O>> oracle)
Methods in de.learnlib.util.mealy with parameters of type MembershipOracle Modifier and Type Method Description static <I,O>
MembershipOracle<I,@Nullable O>MealyUtil. wrapWordOracle(MembershipOracle<I,Word<O>> oracle)
-
Uses of MembershipOracle in de.learnlib.util.moore
Methods in de.learnlib.util.moore that return MembershipOracle Modifier and Type Method Description static <I,O>
MembershipOracle<I,O>MooreUtil. wrapWordOracle(MembershipOracle<I,Word<O>> oracle)
Methods in de.learnlib.util.moore with parameters of type MembershipOracle Modifier and Type Method Description static <I,O>
MembershipOracle<I,O>MooreUtil. wrapWordOracle(MembershipOracle<I,Word<O>> oracle)
-