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

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

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

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

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

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.

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.

C D E F R S W