Uses of Interface
de.learnlib.oracle.PropertyOracle

Packages that use PropertyOracle

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

Subinterfaces of PropertyOracle in de.learnlib.oracle

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

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

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