Uses of Interface
de.learnlib.oracle.EquivalenceOracle

Packages that use EquivalenceOracle

Package	Description
de.learnlib.filter.cache
de.learnlib.filter.cache.dfa
de.learnlib.filter.cache.mealy
de.learnlib.filter.cache.moore
de.learnlib.oracle	This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.equivalence.sba
de.learnlib.oracle.equivalence.spa
de.learnlib.oracle.equivalence.spmm
de.learnlib.oracle.equivalence.vpa
de.learnlib.oracle.property
de.learnlib.testsupport	This package (including sub-packages) contains utility code for formalizing test-cases.
de.learnlib.testsupport.it.learner
de.learnlib.util	This package (and sub-packages) provide general utilities used throughout LearnLib.

Uses of EquivalenceOracle in de.learnlib.filter.cache

Methods in de.learnlib.filter.cache that return EquivalenceOracle

Modifier and Type	Method	Description
EquivalenceOracle<A,I,O>	LearningCache.createCacheConsistencyTest()	Creates a cache consistency test.

Uses of EquivalenceOracle in de.learnlib.filter.cache.dfa

Methods in de.learnlib.filter.cache.dfa that return EquivalenceOracle

Modifier and Type	Method	Description
EquivalenceOracle<DFA<?,I>,I,Boolean>	DFAHashCacheOracle.createCacheConsistencyTest()

Uses of EquivalenceOracle in de.learnlib.filter.cache.mealy

Classes in de.learnlib.filter.cache.mealy that implement EquivalenceOracle

Modifier and Type	Class	Description
class	MealyCacheConsistencyTest<I,O>	An EquivalenceOracle that tests a hypothesis for consistency with the contents of a MealyCacheOracle.
class	ThreadSafeMealyCacheConsistencyTest<I,O>	A thread-safe variant of EquivalenceOracle.MealyEquivalenceOracle.

Methods in de.learnlib.filter.cache.mealy that return EquivalenceOracle

Modifier and Type	Method	Description
EquivalenceOracle<MealyMachine<?,I,?,O>,I,Word<O>>	SymbolQueryCache.createCacheConsistencyTest()

Uses of EquivalenceOracle in de.learnlib.filter.cache.moore

Classes in de.learnlib.filter.cache.moore that implement EquivalenceOracle

Modifier and Type	Class	Description
class	MooreCacheConsistencyTest<I,O>	An EquivalenceOracle that tests a hypothesis for consistency with the contents of a MooreCacheOracle.
class	ThreadSafeMooreCacheConsistencyTest<I,O>	A thread-safe variant of EquivalenceOracle.MooreEquivalenceOracle.

Uses of EquivalenceOracle in de.learnlib.oracle

Subinterfaces of EquivalenceOracle in de.learnlib.oracle

Modifier and Type	Interface	Description
interface	BlackBoxOracle<A extends Output<I,D>,I,D>	Decides whether some words that do not satisfy properties evaluated by BlackBoxOracle.getPropertyOracles() on a given hypothesis, are included in a language.
static interface	BlackBoxOracle.DFABlackBoxOracle<I>
static interface	BlackBoxOracle.MealyBlackBoxOracle<I,O>
static interface	EquivalenceOracle.DFAEquivalenceOracle<I>	A specialization of the EquivalenceOracle interface for a DFA learning scenario.
static interface	EquivalenceOracle.MealyEquivalenceOracle<I,O>	A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
static interface	EquivalenceOracle.MooreEquivalenceOracle<I,O>	A specialization of the EquivalenceOracle interface for a Moore learning scenario.
interface	InclusionOracle<A extends Output<I,D>,I,D>	Decides whether the language of a given hypothesis is included in some other language (e.g., from a SUL).
static interface	InclusionOracle.DFAInclusionOracle<I>
static interface	InclusionOracle.MealyInclusionOracle<I,O>
interface	PropertyOracle<I,A extends Output<I,D>,P,D>	A PropertyOracle can disprove a property, and used to find a counter example to a hypothesis.
static interface	PropertyOracle.DFAPropertyOracle<I,P>
static interface	PropertyOracle.MealyPropertyOracle<I,O,P>

Uses of EquivalenceOracle in de.learnlib.oracle.equivalence

Classes in de.learnlib.oracle.equivalence that implement EquivalenceOracle

Modifier and Type	Class	Description
class	AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>	An InclusionOracle that generates words in a breadth-first manner.
class	AbstractTestWordEQOracle<A extends Output<I,D>,I,D>	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).
class	CExFirstOracle<A extends Output<I,D>,I,D>	The strategy of this black-box oracle is to first try out a property, to see if it can be disproved.
class	CompleteExplorationEQOracle<A extends Output<I,D>,I,D>	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.
class	DFABFInclusionOracle<I>	This is an auto-generated refinement.
class	DFACExFirstOracle<I>	This is an auto-generated refinement.
class	DFACompleteExplorationEQOracle<I>	This is an auto-generated refinement.
class	DFADisproveFirstOracle<I>	This is an auto-generated refinement.
class	DFAEQOracleChain<I>	This is an auto-generated refinement.
class	DFAIncrementalWMethodEQOracle<I>	This is an auto-generated refinement.
class	DFARandomWMethodEQOracle<I>	This is an auto-generated refinement.
class	DFARandomWordsEQOracle<I>	This is an auto-generated refinement.
class	DFARandomWpMethodEQOracle<I>	This is an auto-generated refinement.
class	DFASimulatorEQOracle<I>	This is an auto-generated refinement.
class	DFAWMethodEQOracle<I>	This is an auto-generated refinement.
class	DFAWpMethodEQOracle<I>	This is an auto-generated refinement.
class	DisproveFirstOracle<A extends Output<I,D>,I,D>	The strategy of this black-box oracle is to first try to disprove all properties before finding a counter example to the given hypothesis.
class	EQOracleChain<A,I,D>
class	IncrementalWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>
class	MealyBFInclusionOracle<I,O>	This is an auto-generated refinement.
class	MealyCExFirstOracle<I,O>	This is an auto-generated refinement.
class	MealyCompleteExplorationEQOracle<I,O>	This is an auto-generated refinement.
class	MealyDisproveFirstOracle<I,O>	This is an auto-generated refinement.
class	MealyEQOracleChain<I,O>	This is an auto-generated refinement.
class	MealyIncrementalWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MealyRandomWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MealyRandomWordsEQOracle<I,O>	This is an auto-generated refinement.
class	MealyRandomWpMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MealySimulatorEQOracle<I,O>	This is an auto-generated refinement.
class	MealyWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MealyWpMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreCompleteExplorationEQOracle<I,O>	This is an auto-generated refinement.
class	MooreEQOracleChain<I,O>	This is an auto-generated refinement.
class	MooreIncrementalWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreRandomWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreRandomWordsEQOracle<I,O>	This is an auto-generated refinement.
class	MooreRandomWpMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreSimulatorEQOracle<I,O>	This is an auto-generated refinement.
class	MooreWMethodEQOracle<I,O>	This is an auto-generated refinement.
class	MooreWpMethodEQOracle<I,O>	This is an auto-generated refinement.
class	RandomWMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>	Implements an equivalence test by applying the W-method test on the given hypothesis automaton.
class	RandomWordsEQOracle<A extends Output<I,D>,I,D>
class	RandomWpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>	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.
class	SampleSetEQOracle<I,D>	An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
class	SimulatorEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?>,I,D>
class	WMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>	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.
class	WpMethodEQOracle<A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,D>,I,D>	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.

Methods in de.learnlib.oracle.equivalence with parameters of type EquivalenceOracle

Modifier and Type	Method	Description
void	EQOracleChain.addOracle(EquivalenceOracle<? super A,I,D> oracle)

Constructors in de.learnlib.oracle.equivalence with parameters of type EquivalenceOracle

Constructor	Description
EQOracleChain(EquivalenceOracle<? super A,I,D>... oracles)

Constructor parameters in de.learnlib.oracle.equivalence with type arguments of type EquivalenceOracle

Constructor	Description
EQOracleChain(List<? extends EquivalenceOracle<? super A,I,D>> oracles)

Uses of EquivalenceOracle in de.learnlib.oracle.equivalence.mealy

Classes in de.learnlib.oracle.equivalence.mealy that implement EquivalenceOracle

Modifier and Type	Class	Description
class	RandomWalkEQOracle<I,O>	Performs a random walk over the hypothesis.
class	StateLocalInputMealySimulatorEQOracle<I,O>
class	SymbolEQOracleWrapper<A extends DetSuffixOutputAutomaton<?,I,?,Word<O>>,I,O>

Constructors in de.learnlib.oracle.equivalence.mealy with parameters of type EquivalenceOracle

Constructor	Description
SymbolEQOracleWrapper(EquivalenceOracle<? super A,I,Word<O>> wordEqOracle)

Uses of EquivalenceOracle in de.learnlib.oracle.equivalence.sba

Classes in de.learnlib.oracle.equivalence.sba that implement EquivalenceOracle

Modifier and Type	Class	Description
class	SimulatorEQOracle<I>
class	WMethodEQOracle<I>	An SBA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.

Uses of EquivalenceOracle in de.learnlib.oracle.equivalence.spa

Classes in de.learnlib.oracle.equivalence.spa that implement EquivalenceOracle

Modifier and Type	Class	Description
class	SimulatorEQOracle<I>
class	WMethodEQOracle<I>	An SPA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.
class	WpMethodEQOracle<I>	An SPA version of WpMethodEQOracle which generates test sequences based on the partial W-method for each procedure.

Uses of EquivalenceOracle in de.learnlib.oracle.equivalence.spmm

Classes in de.learnlib.oracle.equivalence.spmm that implement EquivalenceOracle

Modifier and Type	Class	Description
class	SimulatorEQOracle<I,O>
class	WMethodEQOracle<I,O>	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.

Uses of EquivalenceOracle in de.learnlib.oracle.equivalence.vpa

Classes in de.learnlib.oracle.equivalence.vpa that implement EquivalenceOracle

Modifier and Type	Class	Description
class	RandomWellMatchedWordsEQOracle<I>	An equivalence oracle based on the generation of random (well-matched) words.
class	SimulatorEQOracle<I>	An equivalence oracle based on the computation of a separating word for a given hypothesis and a previously known target system.

Uses of EquivalenceOracle in de.learnlib.oracle.property

Classes in de.learnlib.oracle.property that implement EquivalenceOracle

Modifier and Type	Class	Description
class	DFAFinitePropertyOracle<I,P>	A property oracle for DFAs where it is fine to only check finite words from the model checker.
class	DFALassoPropertyOracle<I,P>	A property oracle for DFAs that can check lassos from the model checker.
class	DFAPropertyOracleChain<I,P>	This is an auto-generated refinement.
class	LoggingPropertyOracle<I,A extends Output<I,D>,P,D>	A PropertyOracle that performs logging.
static class	LoggingPropertyOracle.DFALoggingPropertyOracle<I,P>
static class	LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P>
class	MealyFinitePropertyOracle<I,O,P>	A property oracle for Mealy Machines where it is fine to only check finite words from the model checker.
class	MealyLassoPropertyOracle<I,O,P>	A property oracle for Mealy machines that can check lassos from the model checker.
class	MealyPropertyOracleChain<I,O,P>	This is an auto-generated refinement.
class	PropertyOracleChain<I,A extends Output<I,D>,P,D>	A chain of property oracles.

Uses of EquivalenceOracle in de.learnlib.testsupport

Methods in de.learnlib.testsupport that return EquivalenceOracle

Modifier and Type	Method	Description
protected abstract EquivalenceOracle<M,I,D>	AbstractResumableLearnerTest.getEquivalenceOracle(M target)

Uses of EquivalenceOracle in de.learnlib.testsupport.it.learner

Methods in de.learnlib.testsupport.it.learner with parameters of type EquivalenceOracle

Modifier and Type	Method	Description
static <I> List<OneSEVPALearnerITCase<I>>	LearnerITUtil.createExampleITCases(LearningExample.OneSEVPALearningExample<I> example, LearnerVariantListImpl.OneSEVPALearnerVariantListImpl<I> variants, EquivalenceOracle<OneSEVPA<?,I>,I,Boolean> eqOracle)	Creates a list of per-example test cases for all learner variants.
static <I> List<SBALearnerITCase<I>>	LearnerITUtil.createExampleITCases(LearningExample.SBALearningExample<I> example, LearnerVariantListImpl.SBALearnerVariantListImpl<I> variants, EquivalenceOracle<SBA<?,I>,I,Boolean> eqOracle)	Creates a list of per-example test cases for all learner variants.
static <I> List<SPALearnerITCase<I>>	LearnerITUtil.createExampleITCases(LearningExample.SPALearningExample<I> example, LearnerVariantListImpl.SPALearnerVariantListImpl<I> variants, EquivalenceOracle<SPA<?,I>,I,Boolean> eqOracle)	Creates a list of per-example test cases for all learner variants.
static <I,O> List<SPMMLearnerITCase<I,O>>	LearnerITUtil.createExampleITCases(LearningExample.SPMMLearningExample<I,O> example, LearnerVariantListImpl.SPMMLearnerVariantListImpl<I,O> variants, EquivalenceOracle<SPMM<?,I,?,O>,I,Word<O>> eqOracle)	Creates a list of per-example test cases for all learner variants.
static <I,D,A extends UniversalDeterministicAutomaton<?,I,?,?,?>> List<UniversalDeterministicLearnerITCase<I,D,A>>	LearnerITUtil.createExampleITCases(LearningExample.UniversalDeterministicLearningExample<I,? extends A> example, LearnerVariantListImpl<A,I,D> variants, EquivalenceOracle<? super A,I,D> eqOracle)	Creates a list of per-example test cases for all learner variants.

Uses of EquivalenceOracle in de.learnlib.util

Constructors in de.learnlib.util with parameters of type EquivalenceOracle

Constructor	Description
DFAExperiment(LearningAlgorithm<? extends DFA<?,I>,I,Boolean> learningAlgorithm, EquivalenceOracle<? super DFA<?,I>,I,Boolean> equivalenceAlgorithm, Alphabet<I> inputs)
Experiment(LearningAlgorithm<? extends A,I,D> learningAlgorithm, EquivalenceOracle<? super A,I,D> equivalenceAlgorithm, Alphabet<I> inputs)
MealyExperiment(LearningAlgorithm<? extends MealyMachine<?,I,?,O>,I,Word<O>> learningAlgorithm, EquivalenceOracle<? super MealyMachine<?,I,?,O>,I,Word<O>> equivalenceAlgorithm, Alphabet<I> inputs)
MooreExperiment(LearningAlgorithm<? extends MooreMachine<?,I,?,O>,I,Word<O>> learningAlgorithm, EquivalenceOracle<? super MooreMachine<?,I,?,O>,I,Word<O>> equivalenceAlgorithm, Alphabet<I> inputs)