Uses of Interface
de.learnlib.api.oracle.EquivalenceOracle

Packages that use EquivalenceOracle

Package	Description
de.learnlib.api.logging
de.learnlib.api.oracle

Uses of EquivalenceOracle in de.learnlib.api.logging

Classes in de.learnlib.api.logging that implement EquivalenceOracle

Modifier and Type	Class and Description
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>

Uses of EquivalenceOracle in de.learnlib.api.oracle

Subinterfaces of EquivalenceOracle in de.learnlib.api.oracle

Modifier and Type	Interface and 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.
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 an hypothesis.
static interface	PropertyOracle.DFAPropertyOracle<I,P>
static interface	PropertyOracle.MealyPropertyOracle<I,O,P>