Index (LearnLib :: Oracles :: Equivalence Oracles 0.18.0 API)

A C D E F G I M R S W
All Classes All Packages

A

AbstractBFInclusionOracle<A extends net.automatalib.automaton.concept.DetOutputAutomaton<?,I,?,D>,I,D> - Class in de.learnlib.oracle.equivalence: An InclusionOracle that generates words in a breadth-first manner.
AbstractBFInclusionOracle(MembershipOracle<I, D>, double) - Constructor for class de.learnlib.oracle.equivalence.AbstractBFInclusionOracle
AbstractTestWordEQOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence: An abstract equivalence oracle that takes care of query batching and hypothesis checking and allows extending classes to solely focus on test word generation by implementing AbstractTestWordEQOracle.generateTestWords(Output, Collection).
AbstractTestWordEQOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
AbstractTestWordEQOracle(MembershipOracle<I, D>, int) - Constructor for class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
add(Word, D) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle: Adds a query word along with its expected output to the sample set.
addAll(MembershipOracle<I, D>, Collection<? extends Word>) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle: Adds words to the sample set.
addAll(MembershipOracle<I, D>, Word...) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle: Adds several query words to the sample set.
addAll(DefaultQuery<I, D>...) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle: Adds queries to the sample set.
addAll(Collection<? extends DefaultQuery<I, D>>) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle: Adds queries to the sample set.
addOracle(EquivalenceOracle<? super A, I, D>) - Method in class de.learnlib.oracle.equivalence.EQOracleChain

C

CExFirstOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence: The strategy of this black-box oracle is to first try out a property, to see if it can be disproved.
CExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle
CExFirstOracle(PropertyOracle<I, ? super A, ?, D>) - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle
CExFirstOracle(Collection<? extends PropertyOracle<I, ? super A, ?, D>>) - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle
CompleteExplorationEQOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence: Implements an equivalence check by complete exploration up to a given depth, i.e., by testing all possible sequences of a certain length within a specified range.
CompleteExplorationEQOracle(MembershipOracle<I, D>, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle: Constructor.
CompleteExplorationEQOracle(MembershipOracle<I, D>, int, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle: Constructor.
CompleteExplorationEQOracle(MembershipOracle<I, D>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle: Constructor.

D

de.learnlib.oracle.equivalence - package de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy - package de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.equivalence.sba - package de.learnlib.oracle.equivalence.sba
de.learnlib.oracle.equivalence.spa - package de.learnlib.oracle.equivalence.spa
de.learnlib.oracle.equivalence.spmm - package de.learnlib.oracle.equivalence.spmm
de.learnlib.oracle.equivalence.vpa - package de.learnlib.oracle.equivalence.vpa
DFABFInclusionOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of AbstractBFInclusionOracle.
DFABFInclusionOracle(MembershipOracle.DFAMembershipOracle, double) - Constructor for class de.learnlib.oracle.equivalence.DFABFInclusionOracle: Delegates to AbstractBFInclusionOracle(MembershipOracle, double).
DFACExFirstOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of CExFirstOracle.
DFACExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle: Delegates to CExFirstOracle().
DFACExFirstOracle(PropertyOracle.DFAPropertyOracle<I, ?>) - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle: Delegates to CExFirstOracle(PropertyOracle).
DFACExFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I, ?>>) - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle: Delegates to CExFirstOracle(Collection).
DFACompleteExplorationEQOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of CompleteExplorationEQOracle.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int).
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int, int).
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int, int, int).
DFADisproveFirstOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of DisproveFirstOracle.
DFADisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle: Delegates to DisproveFirstOracle().
DFADisproveFirstOracle(PropertyOracle.DFAPropertyOracle<I, ?>) - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle: Delegates to DisproveFirstOracle(PropertyOracle).
DFADisproveFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I, ?>>) - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle: Delegates to DisproveFirstOracle(Collection).
DFAEQOracleChain - Class in de.learnlib.oracle.equivalence: A type-specific refinement of EQOracleChain.
DFAEQOracleChain(EquivalenceOracle.DFAEquivalenceOracle...) - Constructor for class de.learnlib.oracle.equivalence.DFAEQOracleChain: Delegates to EQOracleChain(EquivalenceOracle[]).
DFAEQOracleChain(List<? extends EquivalenceOracle.DFAEquivalenceOracle>) - Constructor for class de.learnlib.oracle.equivalence.DFAEQOracleChain: Delegates to EQOracleChain(List).
DFAIncrementalWMethodEQOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of IncrementalWMethodEQOracle.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle, Alphabet) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet).
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle, Alphabet, int) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet, int).
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle, Alphabet, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet, int, int).
DFARandomWMethodEQOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWMethodEQOracle.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int).
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int).
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int, int).
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int, Random, int).
DFARandomWordsEQOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWordsEQOracle.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int).
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random).
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random, int).
DFARandomWpMethodEQOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWpMethodEQOracle.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int).
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int).
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int, int).
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int, Random, int).
DFASimulatorEQOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of SimulatorEQOracle.
DFASimulatorEQOracle(DFA<?, I>) - Constructor for class de.learnlib.oracle.equivalence.DFASimulatorEQOracle: Delegates to SimulatorEQOracle(net.automatalib.automaton.UniversalDeterministicAutomaton).
DFAWMethodEQOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of WMethodEQOracle.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle).
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int).
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int, int).
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int, int, int).
DFAWpMethodEQOracle - Class in de.learnlib.oracle.equivalence: A type-specific refinement of WpMethodEQOracle.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle).
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int).
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int, int).
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int, int, int).
DisproveFirstOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence: The strategy of this black-box oracle is to first try to disprove all properties before finding a counter example to the given hypothesis.
DisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle
DisproveFirstOracle(PropertyOracle<I, ? super A, ?, D>) - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle
DisproveFirstOracle(Collection<? extends PropertyOracle<I, ? super A, ?, D>>) - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle

E

EQOracleChain<A,I,D> - Class in de.learnlib.oracle.equivalence
EQOracleChain(EquivalenceOracle<? super A, I, D>...) - Constructor for class de.learnlib.oracle.equivalence.EQOracleChain
EQOracleChain(List<? extends EquivalenceOracle<? super A, I, D>>) - Constructor for class de.learnlib.oracle.equivalence.EQOracleChain

F

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.AbstractBFInclusionOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.CExFirstOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.DisproveFirstOracle
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.EQOracleChain
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.mealy.SymbolEQOracleWrapper
findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SimulatorEQOracle
findCounterExample(SuffixOutput<I, D>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle
findCounterExample(SBA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.sba.SimulatorEQOracle
findCounterExample(SPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spa.SimulatorEQOracle
findCounterExample(SPMM<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spmm.SimulatorEQOracle
findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.mealy.RandomWalkEQOracle
findCounterExample(OneSEVPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.vpa.SimulatorEQOracle

G

generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.AbstractTestWordEQOracle: Generate the stream of test words that should be used for the current equivalence check cycle.
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.RandomWMethodEQOracle
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.RandomWordsEQOracle
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.WMethodEQOracle
generateTestWords(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.WpMethodEQOracle
generateTestWords(Output<I, Boolean>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.vpa.RandomWellMatchedWordsEQOracle
generateTestWords(SBA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.sba.WMethodEQOracle
generateTestWords(SPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spa.WMethodEQOracle
generateTestWords(SPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spa.WpMethodEQOracle
generateTestWords(SPMM<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.spmm.WMethodEQOracle
getMaxDepth() - Method in class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
getPropertyOracles() - Method in class de.learnlib.oracle.equivalence.CExFirstOracle
getPropertyOracles() - Method in class de.learnlib.oracle.equivalence.DisproveFirstOracle

I

IncrementalWMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence
IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet, int, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
isCounterExample(A, Iterable<? extends I>, D) - Method in class de.learnlib.oracle.equivalence.AbstractBFInclusionOracle

M

MealyBFInclusionOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of AbstractBFInclusionOracle.
MealyBFInclusionOracle(MembershipOracle.MealyMembershipOracle<I, O>, double) - Constructor for class de.learnlib.oracle.equivalence.MealyBFInclusionOracle: Delegates to AbstractBFInclusionOracle(MembershipOracle, double).
MealyCExFirstOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of CExFirstOracle.
MealyCExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.MealyCExFirstOracle: Delegates to CExFirstOracle().
MealyCExFirstOracle(PropertyOracle.MealyPropertyOracle<I, O, ?>) - Constructor for class de.learnlib.oracle.equivalence.MealyCExFirstOracle: Delegates to CExFirstOracle(PropertyOracle).
MealyCExFirstOracle(Collection<? extends PropertyOracle.MealyPropertyOracle<I, O, ?>>) - Constructor for class de.learnlib.oracle.equivalence.MealyCExFirstOracle: Delegates to CExFirstOracle(Collection).
MealyCompleteExplorationEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of CompleteExplorationEQOracle.
MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MealyCompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int).
MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyCompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int, int).
MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyCompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int, int, int).
MealyDisproveFirstOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of DisproveFirstOracle.
MealyDisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.MealyDisproveFirstOracle: Delegates to DisproveFirstOracle().
MealyDisproveFirstOracle(PropertyOracle.MealyPropertyOracle<I, O, ?>) - Constructor for class de.learnlib.oracle.equivalence.MealyDisproveFirstOracle: Delegates to DisproveFirstOracle(PropertyOracle).
MealyDisproveFirstOracle(Collection<? extends PropertyOracle.MealyPropertyOracle<I, O, ?>>) - Constructor for class de.learnlib.oracle.equivalence.MealyDisproveFirstOracle: Delegates to DisproveFirstOracle(Collection).
MealyEQOracleChain<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of EQOracleChain.
MealyEQOracleChain(EquivalenceOracle.MealyEquivalenceOracle<I, O>...) - Constructor for class de.learnlib.oracle.equivalence.MealyEQOracleChain: Delegates to EQOracleChain(EquivalenceOracle[]).
MealyEQOracleChain(List<? extends EquivalenceOracle.MealyEquivalenceOracle<I, O>>) - Constructor for class de.learnlib.oracle.equivalence.MealyEQOracleChain: Delegates to EQOracleChain(List).
MealyIncrementalWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of IncrementalWMethodEQOracle.
MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, Alphabet) - Constructor for class de.learnlib.oracle.equivalence.MealyIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet).
MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, Alphabet, int) - Constructor for class de.learnlib.oracle.equivalence.MealyIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet, int).
MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, Alphabet, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet, int, int).
MealyRandomWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWMethodEQOracle.
MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int).
MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int).
MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int, int).
MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int, Random, int).
MealyRandomWordsEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWordsEQOracle.
MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int).
MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random).
MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random, int).
MealyRandomWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWpMethodEQOracle.
MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int).
MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int).
MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int, int).
MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int, Random, int).
MealySimulatorEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of SimulatorEQOracle.
MealySimulatorEQOracle(MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracle.equivalence.MealySimulatorEQOracle: Delegates to SimulatorEQOracle(net.automatalib.automaton.UniversalDeterministicAutomaton).
MealyWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of WMethodEQOracle.
MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>) - Constructor for class de.learnlib.oracle.equivalence.MealyWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle).
MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int).
MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int, int).
MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int, int, int).
MealyWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of WpMethodEQOracle.
MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>) - Constructor for class de.learnlib.oracle.equivalence.MealyWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle).
MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int).
MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int, int).
MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int, int, int).
MooreCompleteExplorationEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of CompleteExplorationEQOracle.
MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MooreCompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int).
MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreCompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int, int).
MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreCompleteExplorationEQOracle: Delegates to CompleteExplorationEQOracle(MembershipOracle, int, int, int).
MooreEQOracleChain<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of EQOracleChain.
MooreEQOracleChain(EquivalenceOracle.MooreEquivalenceOracle<I, O>...) - Constructor for class de.learnlib.oracle.equivalence.MooreEQOracleChain: Delegates to EQOracleChain(EquivalenceOracle[]).
MooreEQOracleChain(List<? extends EquivalenceOracle.MooreEquivalenceOracle<I, O>>) - Constructor for class de.learnlib.oracle.equivalence.MooreEQOracleChain: Delegates to EQOracleChain(List).
MooreIncrementalWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of IncrementalWMethodEQOracle.
MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, Alphabet) - Constructor for class de.learnlib.oracle.equivalence.MooreIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet).
MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, Alphabet, int) - Constructor for class de.learnlib.oracle.equivalence.MooreIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet, int).
MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, Alphabet, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreIncrementalWMethodEQOracle: Delegates to IncrementalWMethodEQOracle(MembershipOracle, Alphabet, int, int).
MooreRandomWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWMethodEQOracle.
MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int).
MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int).
MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int, int).
MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle: Delegates to RandomWMethodEQOracle(MembershipOracle, int, int, int, Random, int).
MooreRandomWordsEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWordsEQOracle.
MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int).
MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random).
MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWordsEQOracle: Delegates to RandomWordsEQOracle(MembershipOracle, int, int, int, Random, int).
MooreRandomWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of RandomWpMethodEQOracle.
MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int).
MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int).
MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int, int).
MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle: Delegates to RandomWpMethodEQOracle(MembershipOracle, int, int, int, Random, int).
MooreSimulatorEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of SimulatorEQOracle.
MooreSimulatorEQOracle(MooreMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracle.equivalence.MooreSimulatorEQOracle: Delegates to SimulatorEQOracle(net.automatalib.automaton.UniversalDeterministicAutomaton).
MooreWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of WMethodEQOracle.
MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>) - Constructor for class de.learnlib.oracle.equivalence.MooreWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle).
MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int).
MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int, int).
MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWMethodEQOracle: Delegates to WMethodEQOracle(MembershipOracle, int, int, int).
MooreWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: A type-specific refinement of WpMethodEQOracle.
MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>) - Constructor for class de.learnlib.oracle.equivalence.MooreWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle).
MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int).
MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int, int).
MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWpMethodEQOracle: Delegates to WpMethodEQOracle(MembershipOracle, int, int, int).

R

RandomWalkEQOracle<I,O> - Class in de.learnlib.oracle.equivalence.mealy: Performs a random walk over the hypothesis.
RandomWalkEQOracle(SUL<I, O>, double, long, boolean, Random) - Constructor for class de.learnlib.oracle.equivalence.mealy.RandomWalkEQOracle
RandomWalkEQOracle(SUL<I, O>, double, long, Random) - Constructor for class de.learnlib.oracle.equivalence.mealy.RandomWalkEQOracle
RandomWellMatchedWordsEQOracle - Class in de.learnlib.oracle.equivalence.vpa: An equivalence oracle based on the generation of random (well-matched) words.
RandomWellMatchedWordsEQOracle(Random, MembershipOracle<I, Boolean>, double, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.vpa.RandomWellMatchedWordsEQOracle
RandomWellMatchedWordsEQOracle(Random, MembershipOracle<I, Boolean>, double, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.vpa.RandomWellMatchedWordsEQOracle
RandomWMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence: Implements an equivalence test based on a randomized version of the W-method as described in Complementing Model Learning with Mutation-Based Fuzzing by Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer.
RandomWMethodEQOracle(MembershipOracle<I, D>, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle: Constructor for an unbounded testing oracle.
RandomWMethodEQOracle(MembershipOracle<I, D>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle: Constructor for a bounded testing oracle.
RandomWMethodEQOracle(MembershipOracle<I, D>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle: Constructor for a bounded testing oracle with a specific batch size.
RandomWMethodEQOracle(MembershipOracle<I, D>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle: Constructor for a bounded testing oracle with a specific batch size.
RandomWordsEQOracle<A extends net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence
RandomWordsEQOracle(MembershipOracle<I, D>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWordsEQOracle
RandomWordsEQOracle(MembershipOracle<I, D>, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.RandomWordsEQOracle
RandomWordsEQOracle(MembershipOracle<I, D>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWordsEQOracle
RandomWpMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence: Implements an equivalence test based on a randomized version of the W(p)-method as described in Complementing Model Learning with Mutation-Based Fuzzing by Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer.
RandomWpMethodEQOracle(MembershipOracle<I, D>, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle: Constructor for an unbounded testing oracle.
RandomWpMethodEQOracle(MembershipOracle<I, D>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle: Constructor for a bounded testing oracle.
RandomWpMethodEQOracle(MembershipOracle<I, D>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle: Constructor for a bounded testing oracle with specific batch size.
RandomWpMethodEQOracle(MembershipOracle<I, D>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle: Constructor for a bounded testing oracle with specific batch size.

S

SampleSetEQOracle<I,D> - Class in de.learnlib.oracle.equivalence: An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
SampleSetEQOracle() - Constructor for class de.learnlib.oracle.equivalence.SampleSetEQOracle: Constructor.
SampleSetEQOracle(boolean) - Constructor for class de.learnlib.oracle.equivalence.SampleSetEQOracle: Constructor.
setMaxDepth(int) - Method in class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle
SimulatorEQOracle - Class in de.learnlib.oracle.equivalence.sba
SimulatorEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence
SimulatorEQOracle - Class in de.learnlib.oracle.equivalence.spa
SimulatorEQOracle<I,O> - Class in de.learnlib.oracle.equivalence.spmm
SimulatorEQOracle - Class in de.learnlib.oracle.equivalence.vpa: An equivalence oracle based on the computation of a separating word for a given hypothesis and a previously known target system.
SimulatorEQOracle(A) - Constructor for class de.learnlib.oracle.equivalence.SimulatorEQOracle
SimulatorEQOracle(SBA<?, I>) - Constructor for class de.learnlib.oracle.equivalence.sba.SimulatorEQOracle
SimulatorEQOracle(SPA<?, I>) - Constructor for class de.learnlib.oracle.equivalence.spa.SimulatorEQOracle
SimulatorEQOracle(SPMM<?, I, ?, O>) - Constructor for class de.learnlib.oracle.equivalence.spmm.SimulatorEQOracle
SimulatorEQOracle(OneSEVPA<?, I>) - Constructor for class de.learnlib.oracle.equivalence.vpa.SimulatorEQOracle
StateLocalInputMealySimulatorEQOracle<I,O> - Class in de.learnlib.oracle.equivalence.mealy
StateLocalInputMealySimulatorEQOracle(MealyMachine<?, I, ?, O>, Alphabet, O) - Constructor for class de.learnlib.oracle.equivalence.mealy.StateLocalInputMealySimulatorEQOracle
SymbolEQOracleWrapper<A extends net.automatalib.automaton.concept.DetSuffixOutputAutomaton<?,I,?,net.automatalib.word.Word<O>>,I,O> - Class in de.learnlib.oracle.equivalence.mealy
SymbolEQOracleWrapper(EquivalenceOracle<? super A, I, Word<O>>) - Constructor for class de.learnlib.oracle.equivalence.mealy.SymbolEQOracleWrapper

W

WMethodEQOracle - Class in de.learnlib.oracle.equivalence.sba: An SBA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.
WMethodEQOracle - Class in de.learnlib.oracle.equivalence.spa: An SPA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.
WMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence.spmm: Implements an equivalence test by applying the W-method test on the procedures of the given hypothesis SBA, as described in "Testing software design modeled by finite state machines" by T.S.
WMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence: Implements an equivalence test by applying the W-method test on the given hypothesis automaton, as described in Testing Software Design Modeled by Finite-State Machines by T. S. Chow.
WMethodEQOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.oracle.equivalence.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, D>, int) - Constructor for class de.learnlib.oracle.equivalence.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, D>, int, int) - Constructor for class de.learnlib.oracle.equivalence.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, D>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.oracle.equivalence.sba.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.oracle.equivalence.spa.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Boolean>, int) - Constructor for class de.learnlib.oracle.equivalence.sba.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Boolean>, int) - Constructor for class de.learnlib.oracle.equivalence.spa.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Boolean>, int, int) - Constructor for class de.learnlib.oracle.equivalence.sba.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Boolean>, int, int) - Constructor for class de.learnlib.oracle.equivalence.spa.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.sba.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.spa.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.oracle.equivalence.spmm.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Word<O>>, int) - Constructor for class de.learnlib.oracle.equivalence.spmm.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Word<O>>, int, int) - Constructor for class de.learnlib.oracle.equivalence.spmm.WMethodEQOracle: Constructor.
WMethodEQOracle(MembershipOracle<I, Word<O>>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.spmm.WMethodEQOracle: Constructor.
WpMethodEQOracle - Class in de.learnlib.oracle.equivalence.spa: An SPA version of WpMethodEQOracle which generates test sequences based on the partial W-method for each procedure.
WpMethodEQOracle<A extends net.automatalib.automaton.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automaton.concept.Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence: Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in Test selection based on finite state models by S. Fujiwara et al.
WpMethodEQOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.oracle.equivalence.WpMethodEQOracle: Constructor.
WpMethodEQOracle(MembershipOracle<I, D>, int) - Constructor for class de.learnlib.oracle.equivalence.WpMethodEQOracle: Constructor.
WpMethodEQOracle(MembershipOracle<I, D>, int, int) - Constructor for class de.learnlib.oracle.equivalence.WpMethodEQOracle: Constructor.
WpMethodEQOracle(MembershipOracle<I, D>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.WpMethodEQOracle: Constructor.
WpMethodEQOracle(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.oracle.equivalence.spa.WpMethodEQOracle: Constructor.
WpMethodEQOracle(MembershipOracle<I, Boolean>, int) - Constructor for class de.learnlib.oracle.equivalence.spa.WpMethodEQOracle: Constructor.
WpMethodEQOracle(MembershipOracle<I, Boolean>, int, int) - Constructor for class de.learnlib.oracle.equivalence.spa.WpMethodEQOracle: Constructor.
WpMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.spa.WpMethodEQOracle: Constructor.

A C D E F G I M R S W
All Classes All Packages