A C D E F G I M R S W

A

add(Word<I>, D) - Method in class de.learnlib.eqtests.basic.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.eqtests.basic.SampleSetEQOracle

Adds several query words to the sample set.

addAll(DefaultQuery<I, D>...) - Method in class de.learnlib.eqtests.basic.SampleSetEQOracle

Adds queries to the sample set.

addAll(Collection<? extends DefaultQuery<I, D>>) - Method in class de.learnlib.eqtests.basic.SampleSetEQOracle

Adds queries to the sample set.

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

Adds words to the sample set.

C

CompleteExplorationEQOracle<I,D> - Class in de.learnlib.eqtests.basic

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.eqtests.basic.CompleteExplorationEQOracle

Constructor.

CompleteExplorationEQOracle(MembershipOracle<I, D>, int, int) - Constructor for class de.learnlib.eqtests.basic.CompleteExplorationEQOracle

Constructor.

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

D

de.learnlib.eqtests.basic - package de.learnlib.eqtests.basic

de.learnlib.eqtests.basic.mealy - package de.learnlib.eqtests.basic.mealy

delegate - Variable in class de.learnlib.eqtests.basic.DelegateEQOracle

DelegateEQOracle<A,I,D> - Class in de.learnlib.eqtests.basic

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

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

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

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

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

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

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

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

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

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

E

EQOracleChain<A,I,D> - Class in de.learnlib.eqtests.basic

EQOracleChain(List<? extends EquivalenceOracle<? super A, I, D>>) - Constructor for class de.learnlib.eqtests.basic.EQOracleChain

EQOracleChain(EquivalenceOracle<? super A, I, D>...) - Constructor for class de.learnlib.eqtests.basic.EQOracleChain

EQOracleChain.DFAEQOracleChain<I> - Class in de.learnlib.eqtests.basic

EQOracleChain.MealyEQOracleChain<I,O> - Class in de.learnlib.eqtests.basic

EquivalenceQueries - Class in de.learnlib.eqtests.basic

F

findCounterExample(DetOutputAutomaton<?, I, ?, D>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.CompleteExplorationEQOracle

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.DelegateEQOracle

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.EQOracleChain

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle

findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.mealy.RandomWalkEQOracle

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

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.RandomWordsEQOracle

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

findCounterExample(A) - Method in class de.learnlib.eqtests.basic.SimpleEQOracle

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

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

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

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.WMethodEQOracle

findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.WpMethodEQOracle

G

getMaxDepth() - Method in class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle

I

IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> - Class in de.learnlib.eqtests.basic

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

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

IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> - Class in de.learnlib.eqtests.basic

IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> - Class in de.learnlib.eqtests.basic

M

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

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

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

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

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

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

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

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

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

R

RandomWalkEQOracle<I,O> - Class in de.learnlib.eqtests.basic.mealy

Performs a random walk over the hypothesis.

RandomWalkEQOracle(double, long, Random, SUL<I, O>) - Constructor for class de.learnlib.eqtests.basic.mealy.RandomWalkEQOracle

Constructor.

RandomWalkEQOracle(double, long, boolean, Random, SUL<I, O>) - Constructor for class de.learnlib.eqtests.basic.mealy.RandomWalkEQOracle

RandomWordsEQOracle<I,D,A extends OutputAutomaton<?,I,?,D>> - Class in de.learnlib.eqtests.basic

RandomWordsEQOracle(MembershipOracle<I, D>, int, int, int, Random, int) - Constructor for class de.learnlib.eqtests.basic.RandomWordsEQOracle

RandomWordsEQOracle(MembershipOracle<I, D>, int, int, int, Random) - Constructor for class de.learnlib.eqtests.basic.RandomWordsEQOracle

RandomWordsEQOracle.DFARandomWordsEQOracle<I> - Class in de.learnlib.eqtests.basic

RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> - Class in de.learnlib.eqtests.basic

S

SampleSetEQOracle<I,D> - Class in de.learnlib.eqtests.basic

An equivalence oracle that tests a hypothesis against a fixed set of sample queries.

SampleSetEQOracle(boolean) - Constructor for class de.learnlib.eqtests.basic.SampleSetEQOracle

Constructor.

setMaxDepth(int) - Method in class de.learnlib.eqtests.basic.IncrementalWMethodEQOracle

setMaxDepth(int) - Method in class de.learnlib.eqtests.basic.WMethodEQOracle

SimpleEQOracle<A extends InputAlphabetHolder<I>,I,D> - Class in de.learnlib.eqtests.basic

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

simulator(A) - Static method in class de.learnlib.eqtests.basic.EquivalenceQueries

SimulatorEQOracle<I,D> - Class in de.learnlib.eqtests.basic

SimulatorEQOracle(R) - Constructor for class de.learnlib.eqtests.basic.SimulatorEQOracle

SimulatorEQOracle.DFASimulatorEQOracle<I> - Class in de.learnlib.eqtests.basic

SimulatorEQOracle.MealySimulatorEQOracle<I,O> - Class in de.learnlib.eqtests.basic

SymbolEQOracleWrapper<A extends SODetOutputAutomaton<?,I,?,Word<O>>,I,O> - Class in de.learnlib.eqtests.basic.mealy

SymbolEQOracleWrapper(EquivalenceOracle<? super A, I, Word<O>>) - Constructor for class de.learnlib.eqtests.basic.mealy.SymbolEQOracleWrapper

W

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

WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> - Class in de.learnlib.eqtests.basic

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(int, MembershipOracle<I, D>) - Constructor for class de.learnlib.eqtests.basic.WMethodEQOracle

Constructor.

WMethodEQOracle.DFAWMethodEQOracle<I> - Class in de.learnlib.eqtests.basic

WMethodEQOracle.MealyWMethodEQOracle<I,O> - Class in de.learnlib.eqtests.basic

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

WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D> - Class in de.learnlib.eqtests.basic

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(int, MembershipOracle<I, D>) - Constructor for class de.learnlib.eqtests.basic.WpMethodEQOracle

Constructor.

WpMethodEQOracle.DFAWpMethodEQOracle<I> - Class in de.learnlib.eqtests.basic

WpMethodEQOracle.MealyWpMethodEQOracle<I,O> - Class in de.learnlib.eqtests.basic

A C D E F G I M R S W