Uses of Interface
de.learnlib.oracle.BlackBoxOracle
-
Packages that use BlackBoxOracle 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 -
-
Uses of BlackBoxOracle in de.learnlib.oracle
Subinterfaces of BlackBoxOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
BlackBoxOracle.DFABlackBoxOracle<I>
static interface
BlackBoxOracle.MealyBlackBoxOracle<I,O>
-
Uses of BlackBoxOracle in de.learnlib.oracle.equivalence
Classes in de.learnlib.oracle.equivalence that implement BlackBoxOracle Modifier and Type Class Description 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
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
MealyCExFirstOracle<I,O>
This is an auto-generated refinement.class
MealyDisproveFirstOracle<I,O>
This is an auto-generated refinement.
-