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

Packages that use PropertyOracle

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

Uses of PropertyOracle in de.learnlib.api.logging

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

Modifier and Type	Class and Description
class	LoggingPropertyOracle<I,A extends Output<I,D>,P,D> A PropertyOracle that performs logging.
static class	LoggingPropertyOracle.DFALoggingPropertyOracle<I,P>
static class	LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P>

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

Constructor and Description
LoggingPropertyOracle(PropertyOracle<I,A,P,D> propertyOracle) Constructs a new LoggingPropertyOracle.

Uses of PropertyOracle in de.learnlib.api.oracle

Subinterfaces of PropertyOracle in de.learnlib.api.oracle

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

Methods in de.learnlib.api.oracle that return types with arguments of type PropertyOracle

Modifier and Type	Method and Description
List<PropertyOracle<I,? super A,?,D>>	BlackBoxOracle.getPropertyOracles() Returns the property oracles that this black-box oracle uses to evaluate properties.