Uses of Interface
de.learnlib.oracle.AutomatonOracle.DFAOracle

Packages that use AutomatonOracle.DFAOracle

Package	Description
de.learnlib.oracle.emptiness
de.learnlib.oracle.equivalence

Uses of AutomatonOracle.DFAOracle in de.learnlib.oracle.emptiness

Classes in de.learnlib.oracle.emptiness that implement AutomatonOracle.DFAOracle

Modifier and Type	Class	Description
class	DFABFEmptinessOracle<I>	A type-specific refinement of AbstractBFEmptinessOracle.

Uses of AutomatonOracle.DFAOracle in de.learnlib.oracle.equivalence

Classes in de.learnlib.oracle.equivalence that implement AutomatonOracle.DFAOracle

Modifier and Type	Class	Description
class	DFABFInclusionOracle<I>	A type-specific refinement of AbstractBFInclusionOracle.