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

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

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, 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 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 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: This is an auto-generated refinement.
DFABFInclusionOracle(MembershipOracle.DFAMembershipOracle, double) - Constructor for class de.learnlib.oracle.equivalence.DFABFInclusionOracle: This is an auto-generated constructor.
DFACExFirstOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFACExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle: This is an auto-generated constructor.
DFACExFirstOracle(PropertyOracle.DFAPropertyOracle<I, ?>) - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle: This is an auto-generated constructor.
DFACExFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I, ?>>) - Constructor for class de.learnlib.oracle.equivalence.DFACExFirstOracle: This is an auto-generated constructor.
DFACompleteExplorationEQOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle: This is an auto-generated constructor.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle: This is an auto-generated constructor.
DFACompleteExplorationEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFACompleteExplorationEQOracle: This is an auto-generated constructor.
DFADisproveFirstOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFADisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle: This is an auto-generated constructor.
DFADisproveFirstOracle(PropertyOracle.DFAPropertyOracle<I, ?>) - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle: This is an auto-generated constructor.
DFADisproveFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I, ?>>) - Constructor for class de.learnlib.oracle.equivalence.DFADisproveFirstOracle: This is an auto-generated constructor.
DFAEQOracleChain - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFAEQOracleChain(EquivalenceOracle.DFAEquivalenceOracle...) - Constructor for class de.learnlib.oracle.equivalence.DFAEQOracleChain: This is an auto-generated constructor.
DFAEQOracleChain(List<? extends EquivalenceOracle.DFAEquivalenceOracle>) - Constructor for class de.learnlib.oracle.equivalence.DFAEQOracleChain: This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle, Alphabet) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle: This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle, Alphabet, int) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle: This is an auto-generated constructor.
DFAIncrementalWMethodEQOracle(MembershipOracle.DFAMembershipOracle, Alphabet, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAIncrementalWMethodEQOracle: This is an auto-generated constructor.
DFARandomWMethodEQOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle: This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle: This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle: This is an auto-generated constructor.
DFARandomWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWMethodEQOracle: This is an auto-generated constructor.
DFARandomWordsEQOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle: This is an auto-generated constructor.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle: This is an auto-generated constructor.
DFARandomWordsEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWordsEQOracle: This is an auto-generated constructor.
DFARandomWpMethodEQOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle: This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle: This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle: This is an auto-generated constructor.
DFARandomWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.DFARandomWpMethodEQOracle: This is an auto-generated constructor.
DFASimulatorEQOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFASimulatorEQOracle(DFA<?, I>) - Constructor for class de.learnlib.oracle.equivalence.DFASimulatorEQOracle: This is an auto-generated constructor.
DFAWMethodEQOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle: This is an auto-generated constructor.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle: This is an auto-generated constructor.
DFAWMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWMethodEQOracle: This is an auto-generated constructor.
DFAWpMethodEQOracle - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle: This is an auto-generated constructor.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle: This is an auto-generated constructor.
DFAWpMethodEQOracle(MembershipOracle.DFAMembershipOracle, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.DFAWpMethodEQOracle: This is an auto-generated constructor.
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

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 UniversalDeterministicAutomaton<?,I,?,?,?> & 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: This is an auto-generated refinement.
MealyBFInclusionOracle(MembershipOracle.MealyMembershipOracle<I, O>, double) - Constructor for class de.learnlib.oracle.equivalence.MealyBFInclusionOracle: This is an auto-generated constructor.
MealyCExFirstOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyCExFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.MealyCExFirstOracle: This is an auto-generated constructor.
MealyCExFirstOracle(PropertyOracle.MealyPropertyOracle<I, O, ?>) - Constructor for class de.learnlib.oracle.equivalence.MealyCExFirstOracle: This is an auto-generated constructor.
MealyCExFirstOracle(Collection<? extends PropertyOracle.MealyPropertyOracle<I, O, ?>>) - Constructor for class de.learnlib.oracle.equivalence.MealyCExFirstOracle: This is an auto-generated constructor.
MealyCompleteExplorationEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MealyCompleteExplorationEQOracle: This is an auto-generated constructor.
MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyCompleteExplorationEQOracle: This is an auto-generated constructor.
MealyCompleteExplorationEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyCompleteExplorationEQOracle: This is an auto-generated constructor.
MealyDisproveFirstOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyDisproveFirstOracle() - Constructor for class de.learnlib.oracle.equivalence.MealyDisproveFirstOracle: This is an auto-generated constructor.
MealyDisproveFirstOracle(PropertyOracle.MealyPropertyOracle<I, O, ?>) - Constructor for class de.learnlib.oracle.equivalence.MealyDisproveFirstOracle: This is an auto-generated constructor.
MealyDisproveFirstOracle(Collection<? extends PropertyOracle.MealyPropertyOracle<I, O, ?>>) - Constructor for class de.learnlib.oracle.equivalence.MealyDisproveFirstOracle: This is an auto-generated constructor.
MealyEQOracleChain<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyEQOracleChain(EquivalenceOracle.MealyEquivalenceOracle<I, O>...) - Constructor for class de.learnlib.oracle.equivalence.MealyEQOracleChain: This is an auto-generated constructor.
MealyEQOracleChain(List<? extends EquivalenceOracle.MealyEquivalenceOracle<I, O>>) - Constructor for class de.learnlib.oracle.equivalence.MealyEQOracleChain: This is an auto-generated constructor.
MealyIncrementalWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, Alphabet) - Constructor for class de.learnlib.oracle.equivalence.MealyIncrementalWMethodEQOracle: This is an auto-generated constructor.
MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, Alphabet, int) - Constructor for class de.learnlib.oracle.equivalence.MealyIncrementalWMethodEQOracle: This is an auto-generated constructor.
MealyIncrementalWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, Alphabet, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyIncrementalWMethodEQOracle: This is an auto-generated constructor.
MealyRandomWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle: This is an auto-generated constructor.
MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle: This is an auto-generated constructor.
MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle: This is an auto-generated constructor.
MealyRandomWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWMethodEQOracle: This is an auto-generated constructor.
MealyRandomWordsEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWordsEQOracle: This is an auto-generated constructor.
MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWordsEQOracle: This is an auto-generated constructor.
MealyRandomWordsEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWordsEQOracle: This is an auto-generated constructor.
MealyRandomWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle: This is an auto-generated constructor.
MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle: This is an auto-generated constructor.
MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle: This is an auto-generated constructor.
MealyRandomWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MealyRandomWpMethodEQOracle: This is an auto-generated constructor.
MealySimulatorEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealySimulatorEQOracle(MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracle.equivalence.MealySimulatorEQOracle: This is an auto-generated constructor.
MealyWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWMethodEQOracle: This is an auto-generated constructor.
MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWMethodEQOracle: This is an auto-generated constructor.
MealyWMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWMethodEQOracle: This is an auto-generated constructor.
MealyWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWpMethodEQOracle: This is an auto-generated constructor.
MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWpMethodEQOracle: This is an auto-generated constructor.
MealyWpMethodEQOracle(MembershipOracle.MealyMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MealyWpMethodEQOracle: This is an auto-generated constructor.
MooreCompleteExplorationEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MooreCompleteExplorationEQOracle: This is an auto-generated constructor.
MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreCompleteExplorationEQOracle: This is an auto-generated constructor.
MooreCompleteExplorationEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreCompleteExplorationEQOracle: This is an auto-generated constructor.
MooreEQOracleChain<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreEQOracleChain(EquivalenceOracle.MooreEquivalenceOracle<I, O>...) - Constructor for class de.learnlib.oracle.equivalence.MooreEQOracleChain: This is an auto-generated constructor.
MooreEQOracleChain(List<? extends EquivalenceOracle.MooreEquivalenceOracle<I, O>>) - Constructor for class de.learnlib.oracle.equivalence.MooreEQOracleChain: This is an auto-generated constructor.
MooreIncrementalWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, Alphabet) - Constructor for class de.learnlib.oracle.equivalence.MooreIncrementalWMethodEQOracle: This is an auto-generated constructor.
MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, Alphabet, int) - Constructor for class de.learnlib.oracle.equivalence.MooreIncrementalWMethodEQOracle: This is an auto-generated constructor.
MooreIncrementalWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, Alphabet, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreIncrementalWMethodEQOracle: This is an auto-generated constructor.
MooreRandomWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle: This is an auto-generated constructor.
MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle: This is an auto-generated constructor.
MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle: This is an auto-generated constructor.
MooreRandomWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWMethodEQOracle: This is an auto-generated constructor.
MooreRandomWordsEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWordsEQOracle: This is an auto-generated constructor.
MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, Random) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWordsEQOracle: This is an auto-generated constructor.
MooreRandomWordsEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWordsEQOracle: This is an auto-generated constructor.
MooreRandomWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle: This is an auto-generated constructor.
MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle: This is an auto-generated constructor.
MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle: This is an auto-generated constructor.
MooreRandomWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int, Random, int) - Constructor for class de.learnlib.oracle.equivalence.MooreRandomWpMethodEQOracle: This is an auto-generated constructor.
MooreSimulatorEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreSimulatorEQOracle(MooreMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracle.equivalence.MooreSimulatorEQOracle: This is an auto-generated constructor.
MooreWMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWMethodEQOracle: This is an auto-generated constructor.
MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWMethodEQOracle: This is an auto-generated constructor.
MooreWMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWMethodEQOracle: This is an auto-generated constructor.
MooreWpMethodEQOracle<I,O> - Class in de.learnlib.oracle.equivalence: This is an auto-generated refinement.
MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWpMethodEQOracle: This is an auto-generated constructor.
MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWpMethodEQOracle: This is an auto-generated constructor.
MooreWpMethodEQOracle(MembershipOracle.MooreMembershipOracle<I, O>, int, int, int) - Constructor for class de.learnlib.oracle.equivalence.MooreWpMethodEQOracle: This is an auto-generated constructor.

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

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
SimulatorEQOracle - Class in de.learnlib.oracle.equivalence.sba
SimulatorEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?>,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(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
SimulatorEQOracle(R) - Constructor for class de.learnlib.oracle.equivalence.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 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

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