Uses of Interface
de.learnlib.oracle.EquivalenceOracle

Packages that use EquivalenceOracle

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

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>