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

Packages that use InclusionOracle.DFAInclusionOracle

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

Subinterfaces of InclusionOracle.DFAInclusionOracle in de.learnlib.oracle

Modifier and Type	Interface	Description
static interface	PropertyOracle.DFAPropertyOracle<I,P>