C D E F R S W

C

CompleteExplorationEQOracle<I,O> - 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, O>, int) - Constructor for class de.learnlib.eqtests.basic.CompleteExplorationEQOracle

Constructor.

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

Constructor.

create(EquivalenceOracle<A, I, O>) - 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,O> - Class in de.learnlib.eqtests.basic

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

E

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

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

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

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

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

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

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

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

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

EquivalenceQueries - Class in de.learnlib.eqtests.basic

F

findCounterExample(DetOutputAutomaton<?, I, ?, O>, 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(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(A) - Method in class de.learnlib.eqtests.basic.SimpleEQOracle

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

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

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,O,A extends OutputAutomaton<?,I,?,O>> - Class in de.learnlib.eqtests.basic

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

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

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

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

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

S

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

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

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

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

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

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, O>) - Static method in class de.learnlib.eqtests.basic.EquivalenceQueries

WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> - 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 modelled by finite state machines" by T.S.

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

Constructor.

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

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

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

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

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

WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> - 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, O>) - Constructor for class de.learnlib.eqtests.basic.WpMethodEQOracle

Constructor.

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

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

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

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

C D E F R S W