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

Packages that use EquivalenceOracle.DFAEquivalenceOracle

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

Subinterfaces of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.oracle

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