Uses of Interface
de.learnlib.oracle.InclusionOracle

Packages that use InclusionOracle

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

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