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)
This is an auto-generated constructor.DFADisproveFirstOracle(PropertyOracle.DFAPropertyOracle<I,?> propertyOracle)
This is an auto-generated constructor.Constructor parameters in de.learnlib.oracle.equivalence with type arguments of type PropertyOracle.DFAPropertyOracle Constructor Description DFACExFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I,?>> propertyOracles)
This is an auto-generated constructor.DFADisproveFirstOracle(Collection<? extends PropertyOracle.DFAPropertyOracle<I,?>> propertyOracles)
This is an auto-generated constructor. -
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>
This is an auto-generated refinement.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)
This is an auto-generated constructor.Constructor parameters in de.learnlib.oracle.property with type arguments of type PropertyOracle.DFAPropertyOracle Constructor Description DFAPropertyOracleChain(Collection<? extends PropertyOracle.DFAPropertyOracle<I,P>> oracles)
This is an auto-generated constructor.
-