Uses of Interface
de.learnlib.oracle.InclusionOracle
-
Packages that use InclusionOracle 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 InclusionOracle in de.learnlib.oracle
Subinterfaces of InclusionOracle in de.learnlib.oracle Modifier and Type Interface Description interface
BlackBoxOracle<A extends Output<I,D>,I,D>
Decides whether some words that do not satisfy properties evaluated byBlackBoxOracle.getPropertyOracles()
on a given hypothesis, are included in a language.static interface
BlackBoxOracle.DFABlackBoxOracle<I>
static interface
BlackBoxOracle.MealyBlackBoxOracle<I,O>
static interface
InclusionOracle.DFAInclusionOracle<I>
static interface
InclusionOracle.MealyInclusionOracle<I,O>
interface
PropertyOracle<I,A extends Output<I,D>,P,D>
APropertyOracle
can disprove a property, and used to find a counter example to a hypothesis.static interface
PropertyOracle.DFAPropertyOracle<I,P>
static interface
PropertyOracle.MealyPropertyOracle<I,O,P>
-
Uses of InclusionOracle in de.learnlib.oracle.equivalence
Classes in de.learnlib.oracle.equivalence that implement InclusionOracle Modifier and Type Class Description class
AbstractBFInclusionOracle<A extends DetOutputAutomaton<?,I,?,D>,I,D>
AnInclusionOracle
that generates words in a breadth-first manner.class
CExFirstOracle<A extends Output<I,D>,I,D>
The strategy of this black-box oracle is to first try out a property, to see if it can be disproved.class
DFABFInclusionOracle<I>
This is an auto-generated refinement.class
DFACExFirstOracle<I>
This is an auto-generated refinement.class
DFADisproveFirstOracle<I>
This is an auto-generated refinement.class
DisproveFirstOracle<A extends Output<I,D>,I,D>
The strategy of this black-box oracle is to first try to disprove all properties before finding a counter example to the given hypothesis.class
MealyBFInclusionOracle<I,O>
This is an auto-generated refinement.class
MealyCExFirstOracle<I,O>
This is an auto-generated refinement.class
MealyDisproveFirstOracle<I,O>
This is an auto-generated refinement. -
Uses of InclusionOracle in de.learnlib.oracle.property
Classes in de.learnlib.oracle.property that implement InclusionOracle 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.
-