Package de.learnlib.oracle
Interface LassoEmptinessOracle<L extends Lasso<I,D>,I,D>
-
- Type Parameters:
L
- the lasso typeI
- the input typeD
- the output type
- All Superinterfaces:
EmptinessOracle<L,I,D>
- All Known Subinterfaces:
LassoEmptinessOracle.DFALassoEmptinessOracle<I>
,LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>
- All Known Implementing Classes:
DFALassoEmptinessOracleImpl
,LassoEmptinessOracleImpl
,MealyLassoEmptinessOracleImpl
public interface LassoEmptinessOracle<L extends Lasso<I,D>,I,D> extends EmptinessOracle<L,I,D>
An emptiness oracle for lassos.- See Also:
EmptinessOracle
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
LassoEmptinessOracle.DFALassoEmptinessOracle<I>
static interface
LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.EmptinessOracle
EmptinessOracle.DFAEmptinessOracle<I>, EmptinessOracle.MealyEmptinessOracle<I,O>
-
-
Method Summary
-
Methods inherited from interface de.learnlib.oracle.EmptinessOracle
findCounterExample, isCounterExample
-
-