Uses of Interface
de.learnlib.oracle.MembershipOracle.DFAMembershipOracle

Packages that use MembershipOracle.DFAMembershipOracle

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

Subinterfaces of MembershipOracle.DFAMembershipOracle in de.learnlib.oracle

Modifier and Type	Interface	Description
static interface	SingleQueryOracle.SingleQueryOracleDFA<I>

Methods in de.learnlib.oracle that return MembershipOracle.DFAMembershipOracle

Modifier and Type	Method	Description
MembershipOracle.DFAMembershipOracle<I>	OmegaMembershipOracle.DFAOmegaMembershipOracle.getMembershipOracle()