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

Packages that use InclusionOracle

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

Uses of InclusionOracle in de.learnlib.api.logging

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

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 InclusionOracle in de.learnlib.api.oracle

Subinterfaces of InclusionOracle 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	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>