Uses of Interface
de.learnlib.api.oracle.PropertyOracle.DFAPropertyOracle

Packages that use PropertyOracle.DFAPropertyOracle

Package	Description
de.learnlib.api.logging

Uses of PropertyOracle.DFAPropertyOracle in de.learnlib.api.logging

Classes in de.learnlib.api.logging that implement PropertyOracle.DFAPropertyOracle

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

Constructors in de.learnlib.api.logging with parameters of type PropertyOracle.DFAPropertyOracle

Constructor and Description
DFALoggingPropertyOracle(PropertyOracle.DFAPropertyOracle<I,P> property)