Uses of Interface
de.learnlib.oracle.EmptinessOracle
-
Packages that use EmptinessOracle 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.emptiness -
-
Uses of EmptinessOracle in de.learnlib.oracle
Subinterfaces of EmptinessOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
EmptinessOracle.DFAEmptinessOracle<I>
static interface
EmptinessOracle.MealyEmptinessOracle<I,O>
interface
LassoEmptinessOracle<L extends Lasso<I,D>,I,D>
An emptiness oracle for lassos.static interface
LassoEmptinessOracle.DFALassoEmptinessOracle<I>
static interface
LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>
-
Uses of EmptinessOracle in de.learnlib.oracle.emptiness
Classes in de.learnlib.oracle.emptiness that implement EmptinessOracle Modifier and Type Class Description class
DFABFEmptinessOracle<I>
This is an auto-generated refinement.class
DFALassoEmptinessOracleImpl<S,I>
This is an auto-generated refinement.class
LassoEmptinessOracleImpl<L extends Lasso<I,D>,S,I,D>
class
MealyBFEmptinessOracle<I,O>
This is an auto-generated refinement.class
MealyLassoEmptinessOracleImpl<S,I,O>
This is an auto-generated refinement.
-