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

Packages that use InclusionOracle.DFAInclusionOracle

Package	Description
de.learnlib.api.logging
de.learnlib.api.oracle

Uses of InclusionOracle.DFAInclusionOracle in de.learnlib.api.logging

Classes in de.learnlib.api.logging that implement InclusionOracle.DFAInclusionOracle

Modifier and Type	Class and Description
static class	LoggingPropertyOracle.DFALoggingPropertyOracle<I,P>

Uses of InclusionOracle.DFAInclusionOracle in de.learnlib.api.oracle

Subinterfaces of InclusionOracle.DFAInclusionOracle in de.learnlib.api.oracle

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