A C D E F G I M R S W

A

AbstractBFInclusionOracle<A extends 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 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<I>, 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>, Word<I>...) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle

Adds several query words to the sample set.

addAll(MembershipOracle<I, D>, Collection<? extends Word<I>>) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle

Adds 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 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, 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

CExFirstOracle.DFACExFirstOracle<I> - Class in de.learnlib.oracle.equivalence

CExFirstOracle.MealyCExFirstOracle<I,O> - Class in de.learnlib.oracle.equivalence

complete(MembershipOracle<I, D>, int) - Static method in class de.learnlib.oracle.equivalence.EquivalenceQueries

CompleteExplorationEQOracle<A extends 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.

CompleteExplorationEQOracle.DFACompleteExplorationEQOracle<I> - Class in de.learnlib.oracle.equivalence

CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O> - Class in de.learnlib.oracle.equivalence

create(EquivalenceOracle<A, I, D>) - Static method in class de.learnlib.oracle.equivalence.SimpleEQOracle

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.vpda - package de.learnlib.oracle.equivalence.vpda

delegate - Variable in class de.learnlib.oracle.equivalence.DelegateEQOracle

DelegateEQOracle<A,I,D> - Class in de.learnlib.oracle.equivalence

DelegateEQOracle(EquivalenceOracle<? super A, I, D>) - Constructor for class de.learnlib.oracle.equivalence.DelegateEQOracle

DFABFInclusionOracle<I> - Class in de.learnlib.oracle.equivalence

DFABFInclusionOracle(MembershipOracle<I, Boolean>, double) - Constructor for class de.learnlib.oracle.equivalence.DFABFInclusionOracle

DFACExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle.DFACExFirstOracle

DFACExFirstOracle(PropertyOracle<I, DFA<?, I>, ?, Boolean>) - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle.DFACExFirstOracle

DFACExFirstOracle(Collection<? extends PropertyOracle<I, DFA<?, I>, ?, Boolean>>) - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle.DFACExFirstOracle

DFACompleteExplorationEQOracle(MembershipOracle<I, Boolean>, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle.DFACompleteExplorationEQOracle

DFACompleteExplorationEQOracle(MembershipOracle<I, Boolean>, int, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle.DFACompleteExplorationEQOracle

DFACompleteExplorationEQOracle(MembershipOracle<I, Boolean>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle.DFACompleteExplorationEQOracle

DFADisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle.DFADisproveFirstOracle

DFADisproveFirstOracle(PropertyOracle<I, ? super DFA<?, I>, ?, Boolean>) - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle.DFADisproveFirstOracle

DFADisproveFirstOracle(Collection<? extends PropertyOracle<I, ? super DFA<?, I>, ?, Boolean>>) - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle.DFADisproveFirstOracle

DFAEQOracleChain(EquivalenceOracle<? super DFA<?, I>, I, Boolean>...) - Constructor for class de.learnlib.oracle.equivalence.EQOracleChain.DFAEQOracleChain

DFAEQOracleChain(List<? extends EquivalenceOracle<? super DFA<?, I>, I, Boolean>>) - Constructor for class de.learnlib.oracle.equivalence.EQOracleChain.DFAEQOracleChain

DFAIncrementalWMethodEQOracle(MembershipOracle<I, Boolean>, Alphabet<I>) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle

DFAIncrementalWMethodEQOracle(MembershipOracle<I, Boolean>, Alphabet<I>, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle

DFAIncrementalWMethodEQOracle(MembershipOracle<I, Boolean>, Alphabet<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle

DFARandomWMethodEQOracle(MembershipOracle<I, Boolean>, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle.DFARandomWMethodEQOracle

DFARandomWMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle.DFARandomWMethodEQOracle

DFARandomWMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle.DFARandomWMethodEQOracle

DFARandomWMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle.DFARandomWMethodEQOracle

DFARandomWordsEQOracle(MembershipOracle<I, Boolean>, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.RandomWordsEQOracle.DFARandomWordsEQOracle

DFARandomWordsEQOracle(MembershipOracle<I, Boolean>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWordsEQOracle.DFARandomWordsEQOracle

DFARandomWpMethodEQOracle(MembershipOracle<I, Boolean>, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle.DFARandomWpMethodEQOracle

DFARandomWpMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle.DFARandomWpMethodEQOracle

DFARandomWpMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle.DFARandomWpMethodEQOracle

DFARandomWpMethodEQOracle(MembershipOracle<I, Boolean>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle.DFARandomWpMethodEQOracle

DFASimulatorEQOracle(DFA<?, I>) - Constructor for class de.learnlib.oracle.equivalence.SimulatorEQOracle.DFASimulatorEQOracle

DFAWMethodEQOracle(MembershipOracle<I, Boolean>, int) - Constructor for class de.learnlib.oracle.equivalence.WMethodEQOracle.DFAWMethodEQOracle

DFAWMethodEQOracle(MembershipOracle<I, Boolean>, int, int) - Constructor for class de.learnlib.oracle.equivalence.WMethodEQOracle.DFAWMethodEQOracle

DFAWpMethodEQOracle(MembershipOracle<I, Boolean>, int) - Constructor for class de.learnlib.oracle.equivalence.WpMethodEQOracle.DFAWpMethodEQOracle

DFAWpMethodEQOracle(MembershipOracle<I, Boolean>, int, int) - Constructor for class de.learnlib.oracle.equivalence.WpMethodEQOracle.DFAWpMethodEQOracle

DisproveFirstOracle<A extends 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

DisproveFirstOracle.DFADisproveFirstOracle<I> - Class in de.learnlib.oracle.equivalence

DisproveFirstOracle.MealyDisproveFirstOracle<I,O> - Class in de.learnlib.oracle.equivalence

doGenerateTestWords(UniversalDeterministicAutomaton<S, I, ?, ?, ?>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle

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

EQOracleChain.DFAEQOracleChain<I> - Class in de.learnlib.oracle.equivalence

EQOracleChain.MealyEQOracleChain<I,O> - Class in de.learnlib.oracle.equivalence

EquivalenceQueries - Class in de.learnlib.oracle.equivalence

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.DelegateEQOracle

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(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.mealy.RandomWalkEQOracle

findCounterExample(StateLocalInputMealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.mealy.StateLocalInputMealySimulatorEQOracle

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.mealy.SymbolEQOracleWrapper

findCounterExample(SuffixOutput<I, D>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SampleSetEQOracle

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SimpleEQOracle

findCounterExample(DFA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SimulatorEQOracle.DFASimulatorEQOracle

findCounterExample(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SimulatorEQOracle

findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.SimulatorEQOracle.MealySimulatorEQOracle

findCounterExample(OneSEVPA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.vpda.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(Output<I, Boolean>, Collection<? extends I>) - Method in class de.learnlib.oracle.equivalence.vpda.RandomWellMatchedWordsEQOracle

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

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 UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> - Class in de.learnlib.oracle.equivalence

IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet<I>) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle

IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet<I>, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle

IncrementalWMethodEQOracle(MembershipOracle<I, D>, Alphabet<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle

IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence

IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence

isCounterExample(A, Iterable<? extends I>, D) - Method in class de.learnlib.oracle.equivalence.AbstractBFInclusionOracle

M

MealyBFInclusionOracle<I,O> - Class in de.learnlib.oracle.equivalence

MealyBFInclusionOracle(MembershipOracle<I, Word<O>>, double) - Constructor for class de.learnlib.oracle.equivalence.MealyBFInclusionOracle

MealyCExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle.MealyCExFirstOracle

MealyCExFirstOracle(PropertyOracle<I, MealyMachine<?, I, ?, O>, ?, Word<O>>) - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle.MealyCExFirstOracle

MealyCExFirstOracle(Collection<? extends PropertyOracle<I, MealyMachine<?, I, ?, O>, ?, Word<O>>>) - Constructor for class de.learnlib.oracle.equivalence.CExFirstOracle.MealyCExFirstOracle

MealyCompleteExplorationEQOracle(MembershipOracle<I, Word<O>>, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle

MealyCompleteExplorationEQOracle(MembershipOracle<I, Word<O>>, int, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle

MealyCompleteExplorationEQOracle(MembershipOracle<I, Word<O>>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle

MealyDisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle.MealyDisproveFirstOracle

MealyDisproveFirstOracle(PropertyOracle<I, ? super MealyMachine<?, I, ?, O>, ?, Word<O>>) - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle.MealyDisproveFirstOracle

MealyDisproveFirstOracle(Collection<? extends PropertyOracle<I, ? super MealyMachine<?, I, ?, O>, ?, Word<O>>>) - Constructor for class de.learnlib.oracle.equivalence.DisproveFirstOracle.MealyDisproveFirstOracle

MealyEQOracleChain(EquivalenceOracle<? super MealyMachine<?, I, ?, O>, I, Word<O>>...) - Constructor for class de.learnlib.oracle.equivalence.EQOracleChain.MealyEQOracleChain

MealyEQOracleChain(List<? extends EquivalenceOracle<? super MealyMachine<?, I, ?, O>, I, Word<O>>>) - Constructor for class de.learnlib.oracle.equivalence.EQOracleChain.MealyEQOracleChain

MealyIncrementalWMethodEQOracle(MembershipOracle<I, Word<O>>, Alphabet<I>) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle

MealyIncrementalWMethodEQOracle(MembershipOracle<I, Word<O>>, Alphabet<I>, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle

MealyIncrementalWMethodEQOracle(MembershipOracle<I, Word<O>>, Alphabet<I>, int, int) - Constructor for class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle

MealyRandomWMethodEQOracle(MembershipOracle<I, Word<O>>, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle.MealyRandomWMethodEQOracle

MealyRandomWMethodEQOracle(MembershipOracle<I, Word<O>>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle.MealyRandomWMethodEQOracle

MealyRandomWMethodEQOracle(MembershipOracle<I, Word<O>>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle.MealyRandomWMethodEQOracle

MealyRandomWMethodEQOracle(MembershipOracle<I, Word<O>>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWMethodEQOracle.MealyRandomWMethodEQOracle

MealyRandomWordsEQOracle(MembershipOracle<I, Word<O>>, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.RandomWordsEQOracle.MealyRandomWordsEQOracle

MealyRandomWordsEQOracle(MembershipOracle<I, Word<O>>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWordsEQOracle.MealyRandomWordsEQOracle

MealyRandomWpMethodEQOracle(MembershipOracle<I, Word<O>>, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle

MealyRandomWpMethodEQOracle(MembershipOracle<I, Word<O>>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle

MealyRandomWpMethodEQOracle(MembershipOracle<I, Word<O>>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle

MealyRandomWpMethodEQOracle(MembershipOracle<I, Word<O>>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle

MealySimulatorEQOracle(MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracle.equivalence.SimulatorEQOracle.MealySimulatorEQOracle

MealyWMethodEQOracle(MembershipOracle<I, Word<O>>, int) - Constructor for class de.learnlib.oracle.equivalence.WMethodEQOracle.MealyWMethodEQOracle

MealyWMethodEQOracle(MembershipOracle<I, Word<O>>, int, int) - Constructor for class de.learnlib.oracle.equivalence.WMethodEQOracle.MealyWMethodEQOracle

MealyWpMethodEQOracle(MembershipOracle<I, Word<O>>, int) - Constructor for class de.learnlib.oracle.equivalence.WpMethodEQOracle.MealyWpMethodEQOracle

MealyWpMethodEQOracle(MembershipOracle<I, Word<O>>, int, int) - Constructor for class de.learnlib.oracle.equivalence.WpMethodEQOracle.MealyWpMethodEQOracle

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<I> - Class in de.learnlib.oracle.equivalence.vpda

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.vpda.RandomWellMatchedWordsEQOracle

RandomWellMatchedWordsEQOracle(Random, MembershipOracle<I, Boolean>, double, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.vpda.RandomWellMatchedWordsEQOracle

RandomWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & 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.

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.

RandomWMethodEQOracle.DFARandomWMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence

RandomWMethodEQOracle.MealyRandomWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence

randomWords(MembershipOracle<I, D>, int, int, int) - Static method in class de.learnlib.oracle.equivalence.EquivalenceQueries

RandomWordsEQOracle<A extends 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

RandomWordsEQOracle.DFARandomWordsEQOracle<I> - Class in de.learnlib.oracle.equivalence

RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> - Class in de.learnlib.oracle.equivalence

RandomWpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & 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.

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.

RandomWpMethodEQOracle.DFARandomWpMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence

RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence

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(boolean) - Constructor for class de.learnlib.oracle.equivalence.SampleSetEQOracle

Constructor.

setMaxDepth(int) - Method in class de.learnlib.oracle.equivalence.IncrementalWMethodEQOracle

setMaxDepth(int) - Method in class de.learnlib.oracle.equivalence.WMethodEQOracle

SimpleEQOracle<A extends InputAlphabetHolder<I>,I,D> - Class in de.learnlib.oracle.equivalence

SimpleEQOracle(EquivalenceOracle<A, I, D>) - Constructor for class de.learnlib.oracle.equivalence.SimpleEQOracle

simulator(A) - Static method in class de.learnlib.oracle.equivalence.EquivalenceQueries

SimulatorEQOracle<I,D> - Class in de.learnlib.oracle.equivalence

SimulatorEQOracle(R) - Constructor for class de.learnlib.oracle.equivalence.SimulatorEQOracle

SimulatorEQOracle<I> - Class in de.learnlib.oracle.equivalence.vpda

An equivalence oracle based on the computation of a separating word for a given hypothesis and a previously known target system.

SimulatorEQOracle(OneSEVPA<?, I>, VPDAlphabet<I>) - Constructor for class de.learnlib.oracle.equivalence.vpda.SimulatorEQOracle

SimulatorEQOracle.DFASimulatorEQOracle<I> - Class in de.learnlib.oracle.equivalence

SimulatorEQOracle.MealySimulatorEQOracle<I,O> - Class in de.learnlib.oracle.equivalence

StateLocalInputMealySimulatorEQOracle<I,O> - Class in de.learnlib.oracle.equivalence.mealy

StateLocalInputMealySimulatorEQOracle(StateLocalInputMealyMachine<S, I, ?, O>) - Constructor for class de.learnlib.oracle.equivalence.mealy.StateLocalInputMealySimulatorEQOracle

SymbolEQOracleWrapper<A extends DetSuffixOutputAutomaton<?,I,?,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

wMethod(MembershipOracle<I, D>, int) - Static method in class de.learnlib.oracle.equivalence.EquivalenceQueries

WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & 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.

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.DFAWMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence

WMethodEQOracle.MealyWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence

wpMethod(MembershipOracle<I, D>, int) - Static method in class de.learnlib.oracle.equivalence.EquivalenceQueries

WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & 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.

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.DFAWpMethodEQOracle<I> - Class in de.learnlib.oracle.equivalence

WpMethodEQOracle.MealyWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence

A C D E F G I M R S W