Uses of Interface
de.learnlib.oracle.PropertyOracle.DFAPropertyOracle
-
Packages that use PropertyOracle.DFAPropertyOracle Package Description de.learnlib.oracle.equivalence de.learnlib.oracle.property -
-
Uses of PropertyOracle.DFAPropertyOracle in de.learnlib.oracle.equivalence
Constructors in de.learnlib.oracle.equivalence with parameters of type PropertyOracle.DFAPropertyOracle Constructor Description DFACExFirstOracle(PropertyOracle.DFAPropertyOracle<I,?> propertyOracle)
Delegates toCExFirstOracle(PropertyOracle)
.DFADisproveFirstOracle(PropertyOracle.DFAPropertyOracle<I,?> propertyOracle)
Delegates toDisproveFirstOracle(PropertyOracle)
.Constructor parameters in de.learnlib.oracle.equivalence with type arguments of type PropertyOracle.DFAPropertyOracle Constructor Description DFACExFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I,?>> propertyOracles)
Delegates toCExFirstOracle(Collection)
.DFADisproveFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I,?>> propertyOracles)
Delegates toDisproveFirstOracle(Collection)
. -
Uses of PropertyOracle.DFAPropertyOracle in de.learnlib.oracle.property
Classes in de.learnlib.oracle.property that implement PropertyOracle.DFAPropertyOracle 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>
A type-specific refinement ofPropertyOracleChain
.static class
LoggingPropertyOracle.DFALoggingPropertyOracle<I,P>
Constructors in de.learnlib.oracle.property with parameters of type PropertyOracle.DFAPropertyOracle Constructor Description DFALoggingPropertyOracle(PropertyOracle.DFAPropertyOracle<I,P> property)
DFAPropertyOracleChain(PropertyOracle.DFAPropertyOracle<I,P>... oracles)
Delegates toPropertyOracleChain(PropertyOracle[])
.Constructor parameters in de.learnlib.oracle.property with type arguments of type PropertyOracle.DFAPropertyOracle Constructor Description DFAPropertyOracleChain(Collection<? extends PropertyOracle.DFAPropertyOracle<I,P>> oracles)
Delegates toPropertyOracleChain(Collection)
.
-