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.de.learnlib.oracle.equivalence de.learnlib.oracle.property -
-
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. -
Uses of PropertyOracle in de.learnlib.oracle.equivalence
Methods in de.learnlib.oracle.equivalence that return types with arguments of type PropertyOracle Modifier and Type Method Description List<PropertyOracle<I,? super A,?,D>>
CExFirstOracle. getPropertyOracles()
List<PropertyOracle<I,? super A,?,D>>
DisproveFirstOracle. getPropertyOracles()
Constructors in de.learnlib.oracle.equivalence with parameters of type PropertyOracle Constructor Description CExFirstOracle(PropertyOracle<I,? super A,?,D> propertyOracle)
DisproveFirstOracle(PropertyOracle<I,? super A,?,D> propertyOracle)
Constructor parameters in de.learnlib.oracle.equivalence with type arguments of type PropertyOracle Constructor Description CExFirstOracle(Collection<? extends PropertyOracle<I,? super A,?,D>> propertyOracles)
DisproveFirstOracle(Collection<? extends PropertyOracle<I,? super A,?,D>> propertyOracles)
-
Uses of PropertyOracle in de.learnlib.oracle.property
Classes in de.learnlib.oracle.property that implement PropertyOracle Modifier and Type Class Description class
DFAFinitePropertyOracle<I,P>
A property oracle for DFAs where it is fine to only check finite words from the model checker.class
DFALassoPropertyOracle<I,P>
A property oracle for DFAs that can check lassos from the model checker.class
DFAPropertyOracleChain<I,P>
This is an auto-generated refinement.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>
class
MealyFinitePropertyOracle<I,O,P>
A property oracle for Mealy Machines where it is fine to only check finite words from the model checker.class
MealyLassoPropertyOracle<I,O,P>
A property oracle for Mealy machines that can check lassos from the model checker.class
MealyPropertyOracleChain<I,O,P>
This is an auto-generated refinement.class
PropertyOracleChain<I,A extends Output<I,D>,P,D>
A chain of property oracles.Methods in de.learnlib.oracle.property with parameters of type PropertyOracle Modifier and Type Method Description void
PropertyOracleChain. addOracle(PropertyOracle<I,? super A,@Nullable P,D> oracle)
Constructors in de.learnlib.oracle.property with parameters of type PropertyOracle Constructor Description LoggingPropertyOracle(PropertyOracle<I,A,P,D> propertyOracle)
Constructs a new LoggingPropertyOracle.PropertyOracleChain(PropertyOracle<I,? super A,@Nullable P,D>... oracles)
Constructor parameters in de.learnlib.oracle.property with type arguments of type PropertyOracle Constructor Description PropertyOracleChain(Collection<? extends PropertyOracle<I,? super A,@Nullable P,D>> oracles)
-